Home
last modified time | relevance | path

Searched refs:editor_tool_is_updatable (Results 1 – 6 of 6) sorted by relevance

/dports/games/julius/julius-1.7.0/src/editor/
H A Dtool.h41 int editor_tool_is_updatable(void);
H A Dtool.c48 if (editor_tool_is_updatable() && data.build_in_progress) { in editor_tool_deactivate()
98 int editor_tool_is_updatable(void) in editor_tool_is_updatable() function
/dports/games/augustus/augustus-3.1.0/src/editor/
H A Dtool.h41 int editor_tool_is_updatable(void);
H A Dtool.c48 if (editor_tool_is_updatable() && data.build_in_progress) { in editor_tool_deactivate()
98 int editor_tool_is_updatable(void) in editor_tool_is_updatable() function
/dports/games/julius/julius-1.7.0/src/widget/
H A Dmap_editor.c217 if (editor_tool_is_updatable()) { in handle_first_touch()
/dports/games/augustus/augustus-3.1.0/src/widget/
H A Dmap_editor.c254 if (editor_tool_is_updatable()) { in handle_first_touch()