4 Commits

Author SHA1 Message Date
Jiří Techet
9f0bfec045 Add "dirty" terminal indication
Right now users are confused when various VTE actions don't work because
there's no indication that the terminal is in the non-clean state.

Visualise "modified" terminal in the same way as modified document - by
a red label in the tab so it's clearer when terminal isn't clean.

Avoid quick red flashes when pressing enter by delaying the color change
a bit.
2015-04-29 22:23:35 +02:00
Colomban Wendling
e64cb97332 Make the editor tab close buttons smaller on GTK3
Also remove extra padding around the button's image to reduce its size
and try and avoid it expanding the tab's height.

This at least fixes the editor tabs height on Adwaita theme, where they
were 1px taller than normal.
2015-03-06 17:36:15 +01:00
Colomban Wendling
e0104a4bc2 Port new configurable document status colors to GTK3 2013-02-11 04:47:21 +01:00
Colomban Wendling
f735e6800b Add GTK3 version of our custom styles
Although GTK3 still have gtk_rc_parse_string(), it doesn't work anymore
for our overrides, so register proper CSS for them.
2012-10-09 13:25:12 +02:00