- fixed minor glitch in the Isolation Tool UI - added an extra check when doing selection on canvas - fixed an UI problem in Gerber Editor
- fixed minor glitch in the Isolation Tool UI - added an extra check when doing selection on canvas - fixed an UI problem in Gerber Editor