summaryrefslogtreecommitdiff
path: root/src/profile-preferences.ui
AgeCommit message (Expand)AuthorFilesLines
2019-06-03make "highlighting things under mouse pointer" configurableosch1-5/+37
2019-02-04drop umtp suportraveit651-19/+3
2017-12-21add Solarized themes from gnome-terminalmonsta1-0/+3
2017-02-02don't mark dialogs as visible in .ui filesmonsta1-1/+0
2016-07-20profile-preferences.ui: avoid deprecationsraveit651-1295/+703
2016-06-11profile-editor: render text in color scheme comboboxraveit651-6/+0
2016-06-11UI prefrenences: enable alpha color for colorchooserraveit651-15/+15
2015-11-16vte291: Remove the background image UI settingWolfgang Ulbrich1-2/+27
2015-04-07ui: fix size of profile-preferences window in GTK3 version with a defaultraveit651-1/+3
2014-10-03Remove update_policy from ui filesStefano Karapetsas1-4/+0
2014-09-10Added option to copy selection to clipboardspuhpointer1-0/+18
2014-05-20Remove has_separator property from gtkbuilder filesinfirit1-1/+0
2014-01-25Add blink preferenceMark Thomas1-0/+72
2014-01-24Use gtkbuilder directlyinfirit1-0/+2847