Daniele Bartolini
|
1bad5f84ea
tools: fix 'inherited' style class not being honored
|
hai 8 meses |
Daniele Bartolini
|
17e96a7834
tools: make the Expander's header a bit taller
|
hai 8 meses |
Daniele Bartolini
|
155697bb25
tools: drop labels for vector inputs
|
hai 8 meses |
Daniele Bartolini
|
af6364386c
tools: drop Gtk.Label.track_visited_links
|
hai 8 meses |
Daniele Bartolini
|
19cb320934
tools: link color same as foreground color
|
hai 9 meses |
Daniele Bartolini
|
a9015547a5
tools: convert version label to clickable button
|
hai 1 ano |
Daniele Bartolini
|
ec55951587
tools: handle mixed-types objects list
|
hai 1 ano |
Daniele Bartolini
|
20558521ff
tools: move base theme changes to style.css
|
%!s(int64=2) %!d(string=hai) anos |
Daniele Bartolini
|
7ae0de1f8b
tools: do not spam the Console with duplicated messages
|
%!s(int64=2) %!d(string=hai) anos |
Daniele Bartolini
|
a5507825fc
tools: avoid cluttering core CSSes
|
%!s(int64=2) %!d(string=hai) anos |