Community
Participate
Working Groups
Open the plugin.xml editor and select the Source tab. Changes made to colors in Preferences->Plug-in Development->Editors does not take effect on Apply, you must close and reopen the editor.
Fixed.
Problem reappeared in the new editors. Reopening and tagging as README for 3.0.
Created attachment 13024 [details] Syntax coloring in PDE Editors Wassim, please verify the patch. I tested to make sure we were disposing of our color managers to prevent massive flooding. :)
Created attachment 13109 [details] Syntax coloring in PDE Editors - Resources Leak Patch An adjustment was made such that all old colors are disposed of when the new colors are applied. Although we were not leaking memory, this action is needed to free OS resources. Please verify this patch :)
Candidate for 3.0.1
Fixed. Released to head and 3.0.1 branch. :)
Verified on M20040825.