Commit Graph

153 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