 Daniele Bartolini
|
051a2a1620
tools: cleanup
|
3 дней назад |
|
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 месяц назад |
|
Daniele Bartolini
|
f8510cdfba
tools: everything is public
|
3 месяцев назад |
|
Daniele Bartolini
|
93645ba6d3
tools: set value only if text has changed
|
7 месяцев назад |
|
Daniele Bartolini
|
35d5802f69
tools: cleanup
|
7 месяцев назад |
|
Daniele Bartolini
|
14742304da
tools: trim trailing decimal zeroes
|
7 месяцев назад |
|
Daniele Bartolini
|
1848f98b06
tools: use scroll-event when compiling for GTK3
|
8 месяцев назад |
|
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
8 месяцев назад |
