Searched refs:old_tool (Results 1 - 1 of 1) sorted by relevance

/inkscape/src/
H A Ddesktop.cpp673 Inkscape::UI::Tools::ToolBase* old_tool = event_context; local
675 if (old_tool) {
676 if (toolName.compare(old_tool->pref_observer->observed_path) != 0) {
677 //g_message("Old tool: %s", old_tool->pref_observer->observed_path.c_str());
679 old_tool->finish();
680 delete old_tool;

Completed in 57 milliseconds