small bug in Resource editor
I just came accross a litle bug while using the resource ediotr.
I was unable to edit themes since this morning. When I clicked on a theme
(such as javaTheme for example) the theme editing form would never display
and the aditor looked like frozen.
I had my resource editor window enlarged i.e. wider than original. when i
resized my editor window to its original size, the bug is gone.
Also, a similar bug seems to appear when clicking on the enlarge icon in the
upper wight corner of the window.
I'm on windows Vista home edition. Maybe this is why ? ...
Hope this helps.