 Daniele Bartolini
|
32c42edc67
tools: just hide the window on close
|
1 month ago |
|
Daniele Bartolini
|
cfbdc52e1b
tools: check for changes before opening
|
1 month ago |
|
Daniele Bartolini
|
fe0170a8aa
tools: fix unselected objects at start
|
1 month ago |
|
Daniele Bartolini
|
7b7fe17c5a
tools: select last changed object
|
1 month ago |
|
Daniele Bartolini
|
0ffd971797
tools: update tree when objects change
|
2 months ago |
|
Daniele Bartolini
|
4e99807e94
tools: fix saving objects
|
2 months ago |
|
Daniele Bartolini
|
fd373d02cd
tools: fix titles
|
2 months ago |
|
Daniele Bartolini
|
e118a410d3
tools: handle selection_changed() inside Object* widgets
|
2 months ago |
|
Daniele Bartolini
|
45df45d27e
tools: fix menus
|
2 months ago |
|
Daniele Bartolini
|
95898a51bb
tools: tweak sizes
|
2 months ago |
|
Daniele Bartolini
|
c886bd640b
tools: add ObjectEditor
|
2 months ago |
