rem: !new GM_PrefManager().getValue("warnedWindowsEditor")) 
add: !prefMan.getValue("warnedWindowsEditor")) 
context: function ensureWindowsAssoc() {  if (navigator.userAgent.match(/\bwindows\b/i) &&       !new GM_PrefManager().getValue("warnedWindowsEditor"))   {    alert("Hello! Looks like you're on Windows and that this is the your " +          "first time editing a user script.\n\nTake this opportunity " +          "to verify that you have associated either the .user.js or " +          "the .js extension with a text editor on your computer. " +           "Otherwise, you may get funny errors.\n\nWhen you're done, " +           "come back here and press OK.");    prefMan.setValue("warnedWindowsEditor", true);  }}
meta: 9744	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9744/bb15ba07d80451d03ef5be42d32c71c9f78959f0/utils.js/clean/src/content/utils.js