17 Commits

Author	SHA1	Message	Date
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