Chris Jones
|
1283aafd42
|
Fix up a missing None string handler from the previous commit
|
2009-07-22 09:43:41 +01:00 |
|
Chris Jones
|
dcd997b3de
|
Allow a keybinding to be set to a string value of None so it can be deconfigured. Also supports clearing a keybinding through the prefs profile. Closes LP #391778
|
2009-07-22 09:40:35 +01:00 |
|
Chris Jones
|
13c11e1475
|
merge in trunk
|
2009-07-13 23:36:45 +01:00 |
|
Chris Jones
|
8825cdc8ba
|
Don't try and set an active dropdown item that doesn't exist. Closes LP #361481
|
2009-06-16 18:50:52 +01:00 |
|
Chris Jones
|
b1d10e8817
|
Add some warning text in the profile editor
|
2009-05-12 21:17:56 +01:00 |
|
Chris Jones
|
7529d1c32f
|
Improve PEP 8 compliance
|
2009-05-07 02:35:23 +01:00 |
|
Chris Jones
|
1a88613904
|
Tidy up keybindings.py for pylint ease
|
2009-05-07 02:06:38 +01:00 |
|
Chris Jones
|
b0302e6fab
|
split out translation support into an separate file so it can be more correctly included everywhere
|
2009-05-07 01:44:42 +01:00 |
|
Chris Jones
|
9b530862e7
|
Make the zoomed/maximised titlebar optional
|
2009-04-09 11:23:33 +01:00 |
|
Chris Jones
|
5e78509499
|
Fix scrolling on patched VTEs. Note that this will only work if the patched VTEs also have python support for their modifications. Closes LP #291184
|
2009-03-26 10:36:47 +00:00 |
|
Chris Jones
|
711986766a
|
Allow user configurability of the cursor shape. Patch from Jordan Callicoat. Closes LP #348244
|
2009-03-25 12:58:55 +00:00 |
|
Chris Jones
|
44e958f53e
|
Allow user configurability of the cursor colour. Patch from Jordan Callicoat. Closes LP #348231
|
2009-03-25 12:48:27 +00:00 |
|
Chris Jones
|
de62f1bda4
|
Make the bell options more explicit and allow multiple bell actions, including a new one to set the window manager urgent hint. Closes LP: #272749
|
2009-03-20 10:13:29 +00:00 |
|
Chris Jones
|
118032dc35
|
Swap the Cancel button for a Close one, and stop Apply from closing the profile editor. This way makes much more sense. Closes LP #329977
|
2009-02-20 11:26:43 +00:00 |
|
Chris Jones
|
c3a2b5d2bb
|
remove references to quake, it's unhelpful. It's now 'hide_window'
|
2009-01-25 18:33:22 +00:00 |
|
Chris Jones
|
c33b89a74c
|
add a description of the quake keybinding
|
2009-01-25 14:36:51 +00:00 |
|
Thomas Hurst
|
a72010a82e
|
Teach the profile editor about undefined keys.
|
2009-01-21 09:06:16 +00:00 |
|
Stephen Boddy
|
d205c35a24
|
Make the colours of the titlebars like clusterm (much clearer) and configurable
|
2009-01-07 19:37:59 +01:00 |
|
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 |