pizzapanther/Neutron-IDE — Issue #35: Terminal: Edit preferences
Author: pizzapanther
Created: 2012-01-31 21:50:00+00:00
State: open

Have a preferences dialog to edit background image and font.