-
Michael Natterer authored
tool_manager_select_tool(): don't reset the previously active tool if it is only temporarily pushed to the tool stack. tool_manager_pop_tool(): don't try to restore the previously active tool's state because it was not reset on push().
cb6b821c