Martin Wimpress
|
71204c2db8
|
Opening new terminal in a tab now works. The new intended behaviour is desbribed
in https://bugzilla.gnome.org/show_bug.cgi?id=83203#c57 Fixes #45.
|
2014-02-24 15:21:21 +00:00 |
Mark Thomas
|
d6483a80a9
|
Fix some warnings.
|
2014-02-12 00:05:23 +00:00 |
Scott Balneaves
|
6eefb55ebe
|
More general fix for #18: actually test if the the font content is empty
|
2013-05-21 12:51:01 -05:00 |
Marcel Dijkstra
|
46c4c36e0a
|
Migrate to GSettings
|
2013-01-17 20:55:23 +01:00 |
Perberos
|
f2a13175e5
|
aplicando formato allman
|
2011-11-06 19:14:03 -03:00 |
Perberos
|
13e6e4ab12
|
initial
|
2011-11-06 17:13:49 -03:00 |