Searched refs:TOOL_EDIT_SEGMENTS (Results 1 – 2 of 2) sorted by relevance
131 …ND, TOOL_PENCIL, TOOL_PICKER, TOOL_ADD_OBJECT, TOOL_SELECT_OBJECT, TOOL_EDIT_SEGMENTS, TOOL_EDIT_H… enumerator
431 …if(n == editor::TOOL_EDIT_SEGMENTS && editor_.get_level().segment_width() == 0 && editor_.get_leve… in init()1861 } else if(tool() == TOOL_EDIT_SEGMENTS) { in handle_mouse_button_down()2779 case TOOL_EDIT_SEGMENTS: { in change_tool()3330 if(tool() == TOOL_EDIT_SEGMENTS && selected_segment_ >= 0) { in draw_gui()