Daniele Bartolini
|
051a2a1620
tools: cleanup
|
3 giorni fa |
Daniele Bartolini
|
69d679e893
tools: add tooltips to prominent widgets
|
3 settimane fa |
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 mese fa |
Daniele Bartolini
|
75d76fc977
tools: fix initial buttons state
|
1 mese fa |
Daniele Bartolini
|
21642568f8
tools: fix selecting resources
|
2 mesi fa |
Daniele Bartolini
|
e3c1ccbffe
tools: can set resource to null
|
2 mesi fa |
Daniele Bartolini
|
f8510cdfba
tools: everything is public
|
3 mesi fa |
Daniele Bartolini
|
97dfd1a160
tools: reduce ProjectStore usage
|
7 mesi fa |
Daniele Bartolini
|
2609a315ff
tools: drop using directive
|
8 mesi fa |
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
8 mesi fa |