This won’t help your current issue, but if you want a good dark theme, try Darcula - highly recommended (and not gratuitous in its use of color :-). To perfect everything, use Monaco for the font the editor uses :-)
tom > On Jan 18, 2018, at 1:49 PM, David Cogen <co...@ll.mit.edu> wrote: > >> On 01/18/2018 01:25 PM, David Cogen wrote: >>> On 01/18/2018 01:07 PM, David Cogen wrote: >>> Today I tried the dark metal theme. I hated it!!!!! (Extravagent and >>> gratuitious use of unnecessary color.) >>> >>> So I tried to revert. I switched back to metal theme and restarted. > I should also say that I installed dark metal theme using > Tools/Options/Available and searched for "dark", and downloaded and installed > it. > > But when I tried to uninstall it I went to Tools/Installed and it was not > there! It's as if the plugin permanently added itself to my netbeans with no > ability to uninstall it! > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: users-unsubscr...@netbeans.apache.org > For additional commands, e-mail: users-h...@netbeans.apache.org > > For further information about the NetBeans mailing lists, visit: > https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists > --------------------------------------------------------------------- To unsubscribe, e-mail: users-unsubscr...@netbeans.apache.org For additional commands, e-mail: users-h...@netbeans.apache.org For further information about the NetBeans mailing lists, visit: https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists