fieldOfView 2a811c62d8 Ignore the first press after the selection has been cleared ... if the selection is cleared with this tool active, there is no way to switch to another tool than to re-select an object (by clicking it) because the tool buttons in the toolbar will have been disabled. The mouse-event happens after the selection is changed, so we need to keep track of what the selection was previously by monitoring the selection state.		2018-03-15 23:58:22 +01:00
..
__init__.py	Added 2018 copyright and license information	2018-01-31 16:03:20 +01:00
plugin.json	Added Support Eraser Plugin	2018-01-31 12:55:41 +01:00
SupportEraser.py	Ignore the first press after the selection has been cleared	2018-03-15 23:58:22 +01:00
tool_icon.svg	Added Support Eraser Plugin	2018-01-31 12:55:41 +01:00