Chris Jones
|
4d216633fc
|
-d now automatically infers the Class::method in dbg(), and -d additionally adds a trailing (filename:line) item. debugserver is now moved to -ddd
|
2010-01-14 13:15:05 +00:00 |
|
Chris Jones
|
1bcbe94e6a
|
Fix confusion around focus and scrollbar position settings not being consistent
|
2010-01-13 23:13:19 +00:00 |
|
Chris Jones
|
df7a3b978d
|
The titlebar is no longer optional, it probably never should have been, it's just too complicated
|
2010-01-13 23:06:42 +00:00 |
|
Chris Jones
|
02c1a482df
|
Add a get_profile() to Config and use it in Terminal::set_profile() to make sure we don't set a profile that already is
|
2010-01-13 23:02:17 +00:00 |
|
Chris Jones
|
f808a9edc9
|
set_active triggers the 'activate' signal, which makes sense I suppose, but means we were changing profile to the profile we already were set to, which is a waste
|
2010-01-13 23:00:42 +00:00 |
|
Chris Jones
|
606ca3707b
|
Extend previous commit to cover the titlebar itself, which previously would suffer subtle focus failures
|
2010-01-12 01:05:53 +00:00 |
|
Chris Jones
|
8276a6de77
|
Fix silly focus issue when creating groups - terminals were instantly stealing focus and cancelling the group name creation
|
2010-01-12 00:58:50 +00:00 |
|
Chris Jones
|
c257a3abff
|
remove old file
|
2010-01-12 00:49:44 +00:00 |
|
Chris Jones
|
8846328137
|
scrollbar toggling is now significantly more useful and consistent
|
2010-01-12 00:33:55 +00:00 |
|
Chris Jones
|
23f469add3
|
Fix up handle_size to work properly
|
2010-01-11 23:46:18 +00:00 |
|
Chris Jones
|
adfaf600fa
|
Store the command line options in Config rather than overwriting parts of it, and passing them around
|
2010-01-11 20:56:30 +00:00 |
|
Chris Jones
|
257cc3ead6
|
Remove the old terminator.py, rename newterminator.py accordingly and update all the references to it
|
2010-01-11 20:06:53 +00:00 |
|
Chris Jones
|
949dc81574
|
Clear up some import errors found by pyflakes
|
2010-01-11 20:03:54 +00:00 |
|
Chris Jones
|
75b5cd11cf
|
Terminator::reconfigure_terminals should just be called reconfigure, and needs to start paying attention to global values
|
2010-01-11 10:28:47 +00:00 |
|
Chris Jones
|
7a06c86310
|
spinbutton gives us a float, but we should store an int
|
2010-01-11 10:10:35 +00:00 |
|
Chris Jones
|
b8aac8874a
|
Disable DEBUG for now
|
2010-01-11 10:10:19 +00:00 |
|
Chris Jones
|
5ae299e6da
|
Make the OK button in the preferences editor reconfigure all live terminals
|
2010-01-10 23:58:05 +00:00 |
|
Chris Jones
|
295aeed2e2
|
Unset the previous profile selection if we just removed it
|
2010-01-10 23:54:51 +00:00 |
|
Chris Jones
|
e5d52fee52
|
Implement most of Terminal::reconfigure
|
2010-01-10 23:47:55 +00:00 |
|
Chris Jones
|
c5bd227197
|
Improve indication of what some debugging is
|
2010-01-10 23:47:36 +00:00 |
|
Chris Jones
|
976e3124f7
|
two lines of debugging for each Config() lookup is mad, drop it to one
|
2010-01-10 23:47:15 +00:00 |
|
Chris Jones
|
27d0a13330
|
print more useful errors when the config file format is invalid, and update the configspec generator to know that our undefined default keybindings are now '' instead of None
|
2010-01-10 17:36:55 +00:00 |
|
Chris Jones
|
b7fa984a52
|
config dependent signal handling should be marshalled by Terminal::reconfigure
|
2010-01-10 17:35:03 +00:00 |
|
Chris Jones
|
be413d3622
|
Track a couple of pre-existing connection IDs in Terminal.cnxid
|
2010-01-10 17:17:31 +00:00 |
|
Chris Jones
|
cc11effd3b
|
Store a reference to the signal handlers for config-dependent features, so they can be cancelled later
|
2010-01-10 17:15:14 +00:00 |
|
Chris Jones
|
da7f1a6ea1
|
renaming the current profile wasn't updating Config.profile with the new value. Now it is.
|
2010-01-10 00:53:27 +00:00 |
|
Chris Jones
|
371aebc067
|
Add the keybinding descriptions
|
2010-01-10 00:35:38 +00:00 |
|
Chris Jones
|
180ccbbf03
|
Hook up the keybindings tab in the preferences editor. Loads and saves
|
2010-01-10 00:20:24 +00:00 |
|
Chris Jones
|
2cc76de609
|
gtkscale insists on getting float values
|
2010-01-09 22:27:56 +00:00 |
|
Chris Jones
|
2b7be76004
|
Move our preferences glade file to terminatorlib/ so we can use the built-in knowledge of where that is on-disk to find the .glade file
|
2010-01-09 17:49:14 +00:00 |
|
Chris Jones
|
80e0926a05
|
remove some old data, fix up a few defaults that didn't quite match up with reality, and implement the final bits of functionality to make the OK button DTRT
|
2010-01-09 17:42:59 +00:00 |
|
Chris Jones
|
92e7eb1dff
|
support adding and removing profiles, and returning their values to Config() when switching between them
|
2010-01-09 15:51:56 +00:00 |
|
Chris Jones
|
f273c198c9
|
Finish off the Compatibility tab and the other UI toggles in the profile tabs.
|
2010-01-09 11:52:30 +00:00 |
|
Chris Jones
|
dd45d51725
|
fix up all of the profile apart from the palette
|
2010-01-09 00:47:49 +00:00 |
|
Chris Jones
|
594ee47912
|
Complete the Terminal Command profile tab. Teach the colour scheme picker how to exist in the config and how to be controlled by the prefs UI
|
2010-01-08 23:51:45 +00:00 |
|
Chris Jones
|
1924c2f81a
|
fix up the General profile tab in the prefs editor and hook all of its elements up to code
|
2010-01-08 08:39:21 +00:00 |
|
Chris Jones
|
c14e955310
|
profilelist is a list, not a callable object
|
2010-01-08 01:04:06 +00:00 |
|
Chris Jones
|
4aa1b50fe6
|
Change the way window state config works. Initial workings of preferences window.
|
2010-01-08 01:02:49 +00:00 |
|
Chris Jones
|
68ade515eb
|
Add support for disabling modules and add CustomCommandsMenu and TestPlugin to it
|
2010-01-06 00:27:58 +00:00 |
|
Chris Jones
|
8c117ff6e9
|
Tidy custom_commands plugin up and port it to using our shiny new plugin config API
|
2010-01-05 22:29:02 +00:00 |
|
Chris Jones
|
7328d9aa4f
|
If plugins have defined extra menu items, insert a spacer before they start
|
2010-01-05 22:28:14 +00:00 |
|
Chris Jones
|
0b5cf876ba
|
Move the base plugin classes to plugin.py for cleaner importing in additional plugins
|
2010-01-05 22:22:13 +00:00 |
|
Chris Jones
|
710b8a4834
|
Plugins that have never given us config before need a dict created for them before they can set values
|
2010-01-05 22:15:56 +00:00 |
|
Chris Jones
|
299e4cc5a8
|
Add plugin config API
|
2010-01-05 21:44:12 +00:00 |
|
Emmanuel Bretelle
|
08b65f8b2a
|
plugins:
* enable custom command using terminal_menu plugin hook
|
2010-01-05 18:57:46 +01:00 |
|
Chris Jones
|
266b662923
|
Support --geometry
|
2010-01-05 12:58:05 +00:00 |
|
Chris Jones
|
1625326838
|
Support setting the window role
|
2010-01-05 12:55:05 +00:00 |
|
Chris Jones
|
fe7e03d00f
|
Add some old command line options as dummies, and make some command line options influence the config object. This is probably a poor long-term strategy as it means supplying command line options and saving the config will cause the command line options to be baked into the config
|
2010-01-05 12:51:53 +00:00 |
|
Chris Jones
|
9744f3ebb6
|
Add keyword arguments to Window.__init__() for command line options
|
2010-01-05 12:49:57 +00:00 |
|
Chris Jones
|
58fd86486d
|
Switch to using **kwargs instead of *args for the added flexibility it brings. We need to support keyword arguments for Window.__init__()
|
2010-01-05 12:49:04 +00:00 |