Chris Jones
|
56eb03712c
|
handle an alternate scrollbar disabling value
|
2009-01-04 17:53:19 +00:00 |
|
Chris Jones
|
eba60f3fcc
|
place the keybinding editor inside a gtk.ScrolledWindow for the pixel-poor
|
2008-12-26 23:26:04 +00:00 |
|
Thomas Hurst
|
6fcd3c92e2
|
aelling
|
2008-12-02 17:22:44 +00:00 |
|
Thomas Hurst
|
952cd02b7b
|
Add another missing setting
|
2008-12-02 17:13:55 +00:00 |
|
Chris Jones
|
408a7246d9
|
take care of updating tab close buttons when the setting changes
|
2008-11-19 17:04:36 +00:00 |
|
Chris Jones
|
8decf82577
|
Make handle size and tab position updatable on the fly
|
2008-11-19 13:46:37 +00:00 |
|
Chris Jones
|
0937aa9620
|
fix collection of changed keybindings and apply them to the current instance
|
2008-11-17 15:09:39 +00:00 |
|
Chris Jones
|
0806176067
|
Improve UI wording for new reset bindings
|
2008-11-17 10:46:47 +00:00 |
|
Chris Jones
|
16894d5f78
|
allow keybindings to be edited
|
2008-11-17 02:24:38 +00:00 |
|
Chris Jones
|
475daf89ef
|
make the keybinding editor prettier and work out when one has changed
|
2008-11-17 02:08:47 +00:00 |
|
Chris Jones
|
ba34813f54
|
turn some prints to dbg()s
|
2008-11-17 00:51:11 +00:00 |
|
Chris Jones
|
104206b0eb
|
helps if you read the function documentation. set_attributes() replaces all other attributes, so we had a bunch of empty, editable cells
|
2008-11-17 00:41:49 +00:00 |
|
Chris Jones
|
3f76ce6401
|
Attempt to make proper keybinding editors with TreeView and CellRendererAccel. Unsuccessfully thus far
|
2008-11-17 00:37:50 +00:00 |
|
Chris Jones
|
97fe1cca47
|
Get the value properly
|
2008-11-16 18:40:05 +00:00 |
|
Chris Jones
|
4f6d3d8ec7
|
Remove the real transparency change handler, it won't work while the window is realised, and unrealising it effectively destroys it, so this looks like the only setting that will actually hard-require a restart
|
2008-11-16 17:54:40 +00:00 |
|
Chris Jones
|
68529502e7
|
Make prefs_profile.auto_add more robust, add some more global reconfiguration
|
2008-11-16 02:42:09 +00:00 |
|
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 |