- added properties for the mouse position and mouse clicked position (and setters) and cleaned up the code regarding this data
This commit is contained in:
@@ -532,7 +532,7 @@ class DblSidedTool(AppTool):
|
||||
|
||||
def on_point_add(self):
|
||||
val = self.app.options["global_point_clipboard_format"] % \
|
||||
(self.decimals, self.app.pos[0], self.decimals, self.app.pos[1])
|
||||
(self.decimals, self.app.mouse_click_pos[0], self.decimals, self.app.mouse_click_pos[1])
|
||||
self.ui.point_entry.set_value(val)
|
||||
|
||||
def on_drill_delete_last(self):
|
||||
|
||||
@@ -2518,7 +2518,7 @@ class ToolIsolation(AppTool, Gerber):
|
||||
clicked_poly = self.find_polygon(point=(curr_pos[0], curr_pos[1]), geoset=self.grb_obj.solid_geometry)
|
||||
|
||||
if self.app.selection_type is not None:
|
||||
self.selection_area_handler(self.app.pos, curr_pos, self.app.selection_type)
|
||||
self.selection_area_handler(self.app.mouse_pos, curr_pos, self.app.selection_type)
|
||||
self.app.selection_type = None
|
||||
elif clicked_poly:
|
||||
if clicked_poly not in self.poly_dict.values():
|
||||
|
||||
Reference in New Issue
Block a user