Daniele Bartolini
|
69d679e893
tools: add tooltips to prominent widgets
|
3 hete |
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 hónapja |
Daniele Bartolini
|
33221d6fcb
tools: drop database.rename
|
1 hónapja |
Daniele Bartolini
|
bece64ace1
tools: use aspect to obtain object's name
|
1 hónapja |
Daniele Bartolini
|
4bf0852dc9
tools: display type name in root object
|
1 hónapja |
Daniele Bartolini
|
e118a410d3
tools: handle selection_changed() inside Object* widgets
|
2 hónapja |
Daniele Bartolini
|
cbc4a58780
tools: add duplicate menu item
|
2 hónapja |
Daniele Bartolini
|
768a4b9405
tools: database.delete works on currently selected objects
|
2 hónapja |
Daniele Bartolini
|
2e0cc32876
tools: fix warnings
|
2 hónapja |
Daniele Bartolini
|
d3faeb73a7
tools: cleanup
|
2 hónapja |
Daniele Bartolini
|
56a980a4f7
tools: cleanup
|
2 hónapja |
Daniele Bartolini
|
9fda91bdc7
tools: handle stopping search via key binding
|
2 hónapja |
Daniele Bartolini
|
580e696efe
tools: cleanup
|
2 hónapja |
Daniele Bartolini
|
c972556c92
tools: add searching
|
2 hónapja |
Daniele Bartolini
|
6177c4dd81
tools: add ObjectTree.select_objects()
|
2 hónapja |
Daniele Bartolini
|
6397d0f6e5
tools: just destroy the object
|
2 hónapja |
Daniele Bartolini
|
5a519aaadf
tools: skip dead objects
|
2 hónapja |
Daniele Bartolini
|
5d651b4848
tools: create new objects from ObjectTree
|
2 hónapja |
Daniele Bartolini
|
f0ea6a7d52
tools: add initial Unit Editor
|
2 hónapja |