 Daniele Bartolini
|
552fd84ce4
tools: stop overwriting other platforms' settings
|
5 månader sedan |
|
Daniele Bartolini
|
563c0c11ff
tools: use OBJECT_TYPE_*
|
8 månader sedan |
|
Daniele Bartolini
|
3592364d48
tools: cleanup
|
8 månader sedan |
|
Daniele Bartolini
|
97dfd1a160
tools: reduce ProjectStore usage
|
8 månader sedan |
|
Daniele Bartolini
|
22ae136d55
tools: stop using border-width
|
8 månader sedan |
|
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
8 månader sedan |
|
Daniele Bartolini
|
535e2a4510
tools: declarative database types
|
8 månader sedan |
|
Daniele Bartolini
|
846d006fac
tools: handle save/dump() return value
|
10 månader sedan |
|
Daniele Bartolini
|
c32148be08
*: update copyright year
|
1 år sedan |
|
Daniele Bartolini
|
1858e766f8
tools: reset texture ID when closed
|
1 år sedan |
|
Daniele Bartolini
|
3c1897b230
tools: use to_key() for string conversion
|
1 år sedan |
|
Daniele Bartolini
|
2a36196122
tools: add save and cancel buttons
|
1 år sedan |
|
Daniele Bartolini
|
60785d6efb
tools: cleanup
|
1 år sedan |
|
Daniele Bartolini
|
4cfcb213da
tools: add texture settings editor
|
1 år sedan |
