mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-04 08:43:42 +02:00
WIP: automatically calling ungrab_mouse on deactivation of plugin
This commit is contained in:
@@ -331,6 +331,9 @@ void
|
||||
EditorServiceBase::deactivated ()
|
||||
{
|
||||
clear_mouse_cursors ();
|
||||
if (ui ()) {
|
||||
ui ()->ungrab_mouse (this);
|
||||
}
|
||||
m_active = false;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user