#12 Some options should be grayed when not a

Editor
open
Other (26)
3
2013-01-11
2001-10-16
No

Some options like editor local options should be grayed
if no editor is opened. It could help to avoid
confusion.

Discussion

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks