Chris Jones
|
2ccd5962c1
|
Only allow local background files and set the current value. Also close the window when Apply is pressed
|
2008-11-12 11:58:01 +00:00 |
Chris Jones
|
e01d69346f
|
Demonstrate how we can change a global property without a restart
|
2008-11-12 11:36:18 +00:00 |
Thomas Hurst
|
a068372228
|
Add a missing setting
|
2008-11-12 02:44:57 +00:00 |
Chris Jones
|
f761f40c17
|
this may fix Apply
|
2008-11-12 01:45:52 +00:00 |
Chris Jones
|
2a852620ac
|
Update prefs_profile to not look at the Defaults, but the current RC file
|
2008-11-11 11:21:18 +00:00 |
Chris Jones
|
8e96d0eaa4
|
handle int HScale values and remove a debugging print
|
2008-11-03 23:14:29 +00:00 |
Chris Jones
|
156eb8b32a
|
Make the profile editor window atomic. Hook up its cancel button to destroy itself and make the Apply button dump the settings contained within. Requires some modification of auto_add to better keep track of the widgets
|
2008-11-03 22:55:55 +00:00 |
Emmanuel Bretelle
|
e852e4185b
|
nicification2
|
2008-11-02 03:18:23 +01:00 |
Emmanuel Bretelle
|
d0693a2df3
|
attempting to nicify the profile editor
|
2008-11-02 03:06:35 +01:00 |
Chris Jones
|
434c253237
|
make profile editor opened the conext menu and improve its appearance
|
2008-11-01 00:50:34 +00:00 |
Chris Jones
|
565b3d2bb8
|
Further enhancecment of profile editor UI
|
2008-10-28 00:29:54 +00:00 |
Chris Jones
|
c93e99b4c3
|
fix up backspace/delete binding widgets and fix a related mistake in the terminator_config manpage
|
2008-09-07 20:10:06 +01:00 |
Chris Jones
|
e370d9fbb5
|
more specific updates for the profile editor
|
2008-09-07 19:43:03 +01:00 |
Chris Jones
|
6b680e4c52
|
possible option for improving profile editing gui
|
2008-09-06 01:40:42 +01:00 |
Chris Jones
|
a32ec63a46
|
improve field names, make a couple of things dropdowns
|
2008-09-04 01:26:49 +01:00 |
Thomas Hurst
|
cac821f58a
|
Add a demo font selection button and a spin button for scrollback
|
2008-08-24 07:39:49 +01:00 |
Chris Jones
|
5f81247353
|
Feeble exploration of the parts necessary for a graphical profile editor
|
2008-08-22 00:19:18 +01:00 |