Devlog 10 - Geozi

Added a bunch of stuff today, mostly around construction tools and cleaning up some UI edges :

• Regular polygon: new option in the Polygon submenu, you place 2 points, type a number of sides in a popup (same dialog box as the “Radius” one), and it builds the whole regular polygon by rotating the edge vector by the exterior angle (2π/n) at each step
• Angle tool: new toolbar option with two modes, angle between 3 points, or angle between 2 existing lines (at their intersection).I just need to change the angle’s color to make it stand out from the other components.
• Themed dialogs: the Radius and Sides popups now match the app’s theme and open centered on the main window instaed of a fixed corner (before it opened outside the app)

The math side was the fun part, rotating vectors for the regular polygon, solving a 2x2 linear system for line intersections and normaliznig the arc angle so it always draw the short way around. Next I’ll add a Save/Load system (I completely forgot this lol) and a cool functionnality you’ll see in the next devlog. It’s almost the end of the project so if you have any suggestions just tell me