eyaler

<script type="text/javascript">
  
  function onLoadHide() { // Hide the [Next page] button:
    var d1 = document.getElementsByClassName("que description informationitem notyetanswered")[0];
    var d2 = document.getElementsByClassName("que description informationitem answersaved")[0];
    if (!d1 && !d2) document.getElementsByClassName("mod_quiz-next-nav btn btn-primary")[0].disabled = true;
  }

  function onAnswerShow() { // Show the [Next page] button:
    document.getElementsByClassName("mod_quiz-next-nav btn btn-primary")[0].disabled = false;  

eyaler

eyaler

eyaler

eyaler

"""Find Windows folders with a fake display name and optionally delete offending desktop*.ini files to reset folder name and behavior

Usage: python unlocalize.py [delete]

Renaming a folder via Windows 7-11 Explorer search results, might not change the actual folder name, but just the displayed name in Explorer.
The fake display name is set as a LocalizedResourceName in desktop.ini, and the effect survives even if renaming desktop.ini itself.
Moreover, from this point on any further renaming via Explorer, even not in search results, will only affect the displayed name.
This can lead to data loss e.g. copying a folder with the old name to the same location, unintentionally overwriting the "renamed" folder.
See also: https://superuser.com/questions/1777997/prevent-windows-explorer-to-use-localizedresourcename-when-renaming-file-or-fo
"""