luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #237 from KLayout/issue-236 

Maxbe fixed issue-236
This commit is contained in:
Matthias Köfferlein 2019-03-22 07:34:01 +01:00 committed by GitHub
parent 57fb764f16 4db632b799
commit b68c6e63ec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/ant/ant/antService.cc
View File

@ -892,16 +892,18 @@ void
Service::drag_cancel ()
{
if (m_drawing) {
widget ()->ungrab_mouse (this);
if (mp_active_ruler) {
delete mp_active_ruler;
mp_active_ruler = 0;
}
m_drawing = false;
}
if (mp_active_ruler) {
delete mp_active_ruler;
mp_active_ruler = 0;
}
if (mp_transient_ruler) {
delete mp_transient_ruler;
mp_transient_ruler = 0;
}
}