jean-pierre charras d4ce2c8982 Fix a few Coverity warnings.		2023-11-25 11:44:01 +01:00
..
action_manager.cpp	…
action_menu.cpp	…
action_toolbar.cpp	…
actions.cpp	…
common_control.cpp	…
common_tools.cpp	…
conditional_menu.cpp	…
edit_constraints.cpp	…
edit_points.cpp	…
editor_conditions.cpp	…
grid_helper.cpp	…
grid_menu.cpp	…
picker_tool.cpp	…
properties_tool.cpp	…
selection.cpp	…
selection_conditions.cpp	…
selection_tool.cpp	…
tool_action.cpp	…
tool_base.cpp	…
tool_dispatcher.cpp	…
tool_event.cpp	…
tool_interactive.cpp	…
tool_manager.cpp	…
tool_menu.cpp	…
tools_holder.cpp	…
zoom_menu.cpp	…
zoom_tool.cpp	…