Daniele Bartolini 12add6187d tools: update the window's title on undo/redo hace 2 años
..
api ea8f62bae5 tools: track data revisions in the tools hace 2 años
core c50e526323 tools: add RuntimeInstance hace 2 años
level_editor 12add6187d tools: update the window's title on undo/redo hace 2 años
resource 955a3b0a94 *: code-style: remove newline between brace and catch () hace 2 años
vapi 3a3708d472 tools: add math expressions support in input fields hace 2 años
widgets 978aec28b2 tools: always use Application.get_default() hace 2 años
config.vala c543389dee Bump Crown v0.48.0 hace 3 años