mirror of
https://github.com/GraphiteEditor/Graphite.git
synced 2026-10-04 09:28:11 +08:00
Rename Shape tool to Polygon tool
This commit is contained in:
@@ -11,8 +11,8 @@ pub mod line_tool;
|
||||
pub mod navigate_tool;
|
||||
pub mod path_tool;
|
||||
pub mod pen_tool;
|
||||
pub mod polygon_tool;
|
||||
pub mod rectangle_tool;
|
||||
pub mod select_tool;
|
||||
pub mod shape_tool;
|
||||
pub mod spline_tool;
|
||||
pub mod text_tool;
|
||||
|
||||
Reference in New Issue
Block a user