 Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 mēnesi atpakaļ |
|
Daniele Bartolini
|
8733b378fb
tools: restore correct visibility on map()
|
3 mēneši atpakaļ |
|
Daniele Bartolini
|
f8510cdfba
tools: everything is public
|
3 mēneši atpakaļ |
|
Daniele Bartolini
|
06097f547a
tools: cleanup
|
4 mēneši atpakaļ |
|
Daniele Bartolini
|
17e96a7834
tools: make the Expander's header a bit taller
|
7 mēneši atpakaļ |
|
Daniele Bartolini
|
a5c458f01d
tools: stop using GtkWidget event signals
|
8 mēneši atpakaļ |
|
Daniele Bartolini
|
5498036ae9
tools: only primary buttons toggle state
|
10 mēneši atpakaļ |
|
Daniele Bartolini
|
bc3c23eb3b
tools: add Expander
|
11 mēneši atpakaļ |
