 Daniele Bartolini
|
9849cbb552
tools: add ability to reset a property to default
|
3 天之前 |
|
Daniele Bartolini
|
489390df67
tools: add a parameter to disable undo/redo
|
3 天之前 |
|
Daniele Bartolini
|
06609829c8
tools: make label width configurable
|
2 周之前 |
|
Daniele Bartolini
|
743470e38d
tools: add tooltip support to property grid headers
|
2 周之前 |
|
Daniele Bartolini
|
5f5c0c620a
tools: add 'tooltip' field to PropertyDefinition
|
3 周之前 |
|
Daniele Bartolini
|
7e1ca44bc9
*: update copyright year
|
1 月之前 |
|
Daniele Bartolini
|
e3c1ccbffe
tools: can set resource to null
|
2 月之前 |
|
Daniele Bartolini
|
43b1dc91ba
tools: cleanup
|
2 月之前 |
|
Daniele Bartolini
|
56a980a4f7
tools: cleanup
|
2 月之前 |
|
Daniele Bartolini
|
70326621e6
tools: cleanup
|
2 月之前 |
|
Daniele Bartolini
|
b5241e1806
tools: add ObjectProperties
|
2 月之前 |
|
Daniele Bartolini
|
56851d507b
tools: Guid property used as object reference
|
2 月之前 |
|
Daniele Bartolini
|
679aa53758
tools: fix reading dependent properties
|
3 月之前 |
|
Daniele Bartolini
|
6a64dcebe8
tools: rename to what the function actually does
|
3 月之前 |
|
Daniele Bartolini
|
c5a5b3f19a
tools: move component add/remove actions to the appropriate contexts
|
3 月之前 |
|
Daniele Bartolini
|
4951784df0
tools: cleanup
|
3 月之前 |
|
Daniele Bartolini
|
08ac9b04ee
tools: do not evaluate value_changed() for unset objects
|
3 月之前 |
|
Daniele Bartolini
|
5855a05211
database: add OBJECT_REFERENCE property type
|
3 月之前 |
|
Daniele Bartolini
|
9051b39846
tools: cleanup
|
3 月之前 |
|
Daniele Bartolini
|
8a0e3fa67b
tools: simplify change commands gen
|
4 月之前 |
|
Daniele Bartolini
|
798487f715
tools: make rows unfocusable
|
4 月之前 |
|
Daniele Bartolini
|
3e8b28fd7c
tools: use Gtk.ListBox (sorting + filtering)
|
4 月之前 |
|
Daniele Bartolini
|
fe05bb8c3b
tools: move object types definition to Database
|
7 月之前 |
|
Daniele Bartolini
|
97dfd1a160
tools: reduce ProjectStore usage
|
7 月之前 |
|
Daniele Bartolini
|
92af3995a4
tools: generate enum labels automatically
|
7 月之前 |
|
Daniele Bartolini
|
5e2e81928d
tools: generate label automatically if unset
|
7 月之前 |
|
Daniele Bartolini
|
ab2a64a8ea
tools: stop using GtkMisc.set_alignment()
|
8 月之前 |
|
Daniele Bartolini
|
48811f96b1
tools: always use margin_{bottom,end,start,top}
|
8 月之前 |
|
Daniele Bartolini
|
22ae136d55
tools: stop using border-width
|
8 月之前 |
|
Daniele Bartolini
|
b9dd6e57af
tools: add PropertyEditorType.COLOR
|
8 月之前 |
