raveit65
|
2ff99ed187
|
ui: fix size of profile-preferences window in GTK3 version with a default
|
2015-04-07 16:08:56 +02:00 |
Stefano Karapetsas
|
b57d3a8be2
|
Remove update_policy from ui files
Umpteenth breakage in GTK3...
|
2014-10-03 10:42:13 +02:00 |
spuhpointer
|
a6a5774c68
|
Added option to copy selection to clipboard
|
2014-09-10 10:15:22 +02:00 |
infirit
|
a43cdc8517
|
Remove has_separator property from gtkbuilder files
|
2014-05-20 13:49:41 +02:00 |
Mark Thomas
|
c39021ae1d
|
Add blink preference
|
2014-01-25 20:38:35 +00:00 |
|
infirit
|
04b6ca92fb
|
Use gtkbuilder directly
|
2014-01-24 16:57:41 +01:00 |