 Daniele Bartolini
|
8a0e3fa67b
tools: simplify change commands gen
|
4 miesięcy temu |
|
Daniele Bartolini
|
798487f715
tools: make rows unfocusable
|
4 miesięcy temu |
|
Daniele Bartolini
|
3e8b28fd7c
tools: use Gtk.ListBox (sorting + filtering)
|
4 miesięcy temu |
|
Daniele Bartolini
|
fe05bb8c3b
tools: move object types definition to Database
|
8 miesięcy temu |
|
Daniele Bartolini
|
97dfd1a160
tools: reduce ProjectStore usage
|
8 miesięcy temu |
|
Daniele Bartolini
|
92af3995a4
tools: generate enum labels automatically
|
8 miesięcy temu |
|
Daniele Bartolini
|
5e2e81928d
tools: generate label automatically if unset
|
8 miesięcy temu |
|
Daniele Bartolini
|
ab2a64a8ea
tools: stop using GtkMisc.set_alignment()
|
8 miesięcy temu |
|
Daniele Bartolini
|
48811f96b1
tools: always use margin_{bottom,end,start,top}
|
8 miesięcy temu |
|
Daniele Bartolini
|
22ae136d55
tools: stop using border-width
|
8 miesięcy temu |
|
Daniele Bartolini
|
b9dd6e57af
tools: add PropertyEditorType.COLOR
|
8 miesięcy temu |
|
Daniele Bartolini
|
77d48ec8d6
tools: uniform naming for input widgets
|
8 miesięcy temu |
|
Daniele Bartolini
|
535e2a4510
tools: declarative database types
|
8 miesięcy temu |
|
Daniele Bartolini
|
c87178a635
tools: move PropertyGrid{,Set} to its own file
|
11 miesięcy temu |
