203 Commits

Author	SHA1	Message	Date
Thomas Hurst	254ecec810	Add close_button_on_tab option, defaulting to true. Set to false to turn off close buttons on tabs.	2008-06-27 18:54:42 +01:00
Emmanuel Bretelle	d34496416f	Closes LP#242816 ... Adds a close button to the terms. We might need to visually inform about the number of terms in a tab	2008-06-27 18:11:24 +01:00
Chris Jones	d38a42b580	split Terminator and TerminatorTerm into their own library files	2008-06-27 00:24:52 +01:00