Commit Graph

27 Commits

Author SHA1 Message Date
Chris Jones
0ba791f9cb Choosing 'Close' from the context menu of a terminal would simply remove it from its parent, it didn't actually instruct the terminal to die. Fixes LP #308025 2011-08-22 19:58:24 +01:00
Chris Jones
4a2b8c77e1 Allow the split menu items to be translatable. Closes LP #575827 2010-07-03 21:46:41 +01:00
Chris Jones
fdf169a2fd Only display the menu item for Preferences if there is support for Gtk Builder 2010-07-02 11:09:21 +01:00
Chris Jones
c64d71b809 Restore the command line -p option to specify a particular profile. This is then enforced as the default for new terminals 2010-05-15 15:51:20 +02:00
Chris Jones
622604d9b5 Appease the folks who demand totally hidden titlebars, by making the titlebars able to totally hide. This does not yet fully address the issue of showing group membership and/or event transmission/reception state while grouped without losing a line of terminal to forced titlebar display. That can come later if it is reasonably possible 2010-05-15 15:30:13 +02:00
Chris Jones
364a833324 Add support for preserving cwd across tab creation events. Fixes a regression reported by jkaker 2010-04-02 16:45:32 +01:00
Chris Jones
16bc247b0e Attach the debug server to the context menu 2010-03-19 22:16:08 +00:00
Chris Jones
b4d259f053 Fix splitting from the context menu so it sends the cwd 2010-03-11 14:30:07 +00:00
Chris Jones
5520fe11c8 Remove ad-hoc titlebar visibility control and make the preferences setting be applied by Terminal::reconfigure() 2010-02-09 13:08:07 +00:00
Chris Jones
79a340539b Make the titlebar presence configurable by config file and context menu. If it's missing, draw a frame around the Terminal, to indicae colour 2010-02-09 00:23:21 +00:00
Chris Jones
60983e3584 Handle popup menu being triggered without a full event, e.g. when the menu keyboard key is pressed 2010-01-25 12:26:32 +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
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
c14e955310 profilelist is a list, not a callable object 2010-01-08 01:04:06 +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
26f0b2be69 Rename the Profile editor to a general preferences editor and only show a choice of profiles if there's more than one 2010-01-03 17:53:25 +00:00
Chris Jones
a13581a4c8 Handle exceptions in a way that doesn't make python 2.5 really angry 2009-12-30 01:50:47 +00:00
Chris Jones
f690cd6e5f Get ProfileEditor to the barest state of functionality possible 2009-12-27 02:32:16 +00:00
Chris Jones
945a547344 pluralise 2009-12-27 00:59:29 +00:00
Chris Jones
ee81bd4f76 Make the terminal context menu list available profiles and switch between them 2009-12-26 20:09:16 +00:00
Chris Jones
fe22a9cf47 Integrate the plugin system into the context menus for Terminal 2009-12-18 00:45:08 +00:00
Chris Jones
33e6254ad2 pylint 2009-12-10 11:37:53 +00:00
Chris Jones
dfe85f1e9b pylint quiescing 2009-12-10 11:36:46 +00:00
Chris Jones
e93a95162d Add a menu item to restore zoomed/maximised layouts 2009-11-14 18:56:34 +00:00
Chris Jones
9d6b961fc3 undo an indenting fail 2009-10-08 21:29:45 +01:00
Chris Jones
3d78428aae now make the encoding submenu work 2009-10-08 21:27:00 +01:00
Chris Jones
f0d7f2a9ca refactor the popup menu out because it's so annoyingly long 2009-10-08 20:27:49 +01:00