#5 Better way of switching colour themes

Far Future
open
nobody
None
1
2012-11-06
2012-10-04
Paul Moore
No

Changing colours is laborious. One option would be to allow multiple settings to be defined by the user (Zenburn, Solarised, My Really Neat Yellow on Pink, etc...) and then select one from a dropdown.

A simpler but uglier way would be to allow programs to rewrite console.xml and then force a running Console instance to reload it. Then I could write my own script to manage the colours. At the moment, a program that edits console.xml can only be run while console is not running.

Discussion


Anonymous

Cancel  Add attachments





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

Sign up for the SourceForge newsletter:





No, thanks