Markus Frosch
|
23135f2ca5
|
Fix shebang and executable flag for all scripts
|
2020-04-05 16:36:06 +02:00 |
|
Stephen Boddy
|
da37f398fa
|
Fix terminator not working with default python3 by forcing python2
|
2016-11-25 02:29:55 +01:00 |
|
Stephen Boddy
|
295f884c6d
|
(trunk-1683) Merge feature branch for tab/terminal title editing from Haim Daniel
|
2015-12-01 00:57:18 +01:00 |
|
Stephen Boddy
|
47642be133
|
Fix double double-click on titlebar in later GTK3
|
2015-11-29 01:35:05 +01:00 |
|
Stephen Boddy
|
cf81fe937a
|
(trunk-1573) Global setting for changing the titlebar font (partially from Eli Zor branch), but expanded and improved (docs/GUI), plus some minor fixup from this.
|
2015-07-10 21:37:35 +02:00 |
|
Stephen Boddy
|
e5a249a498
|
Fix titlebar label preventing scaling down titlebars by wrapping whole box in a viewport.
|
2015-02-19 15:30:45 +01:00 |
|
Stephen Boddy
|
22ed84abdd
|
Apply terminator-gtk3-vte038-v4.patch from Egmont Koblinger
|
2014-09-19 16:10:43 +02:00 |
|
Stephen Boddy
|
7ca6dd96c6
|
Changes made by pygi-convert.sh
|
2014-09-19 16:08:08 +02:00 |
|
Chris Jones
|
9d2fb4b95c
|
Improve button handling of EditableLabel. Closes LP#1092775
|
2013-01-30 11:27:01 +00:00 |
|
Chris Jones
|
70ab3b0f71
|
Store terminal titles in layouts
|
2010-04-22 23:14:03 +01:00 |
|
Chris Jones
|
8e0c5aacbc
|
pylint fix, add a docstring
|
2010-03-02 20:37:52 +00:00 |
|
Chris Jones
|
bfb3bec7d4
|
Set foreground colour properly, this was missed from the epic-refactor work
|
2010-02-11 22:14:07 +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
|
602c6a3b57
|
Make title changes propagate better, albeit not perfectly yet
|
2009-12-10 13:20:03 +00:00 |
|
Chris Jones
|
d5ff98211c
|
Swap out some noop code for pylint suppression
|
2009-09-06 23:52:58 +01:00 |
|
Chris Jones
|
799d508708
|
Make _entry_handler_id not be a static class attribute because it doesn't need to be
|
2009-09-03 09:03:37 +01:00 |
|
Chris Jones
|
846e0c0fff
|
Emit a signal when editing is done
|
2009-09-03 00:51:46 +01:00 |
|
Chris Jones
|
187484271c
|
clean up EditableLabel
|
2009-09-02 20:43:45 +01:00 |