0xtechnobabble
123dcada05
Themes: Support rubberband selection theming
2020-01-07 11:02:43 +01:00
Andreas Kling
6685be36a0
LibDraw: Add Rect::from_two_points(Point, Point)
...
This returns the rectangle between two given Points. Thanks Owlinator
for suggesting this much easier way of doing it :^)
2019-11-17 16:37:42 +01:00
Andreas Kling
197ed1bb2a
HackStudio: Move the rubber-banding state into CursorTool
...
I originally put it in FormWidget because CursorTool was clueless about
painting. This patch adds Tool::on_second_paint() which allows all the
tools to hook into the second paint pass.
2019-11-16 22:26:46 +01:00
Andreas Kling
69dee20761
HackStudio: Allow rubber-band selection of widgets
...
This patch implements basic rubber-banding. Perhaps this mechanism can
be generalized somehow, but it's not clear to me how that would work
at the moment.
2019-11-16 19:17:27 +01:00
Andreas Kling
d5f735ecec
HackStudio: Show the edited form widget's widget tree in the tree view
...
This patch introduces a simple WidgetTreeModel that models the widget
tree inside of a given root GWidget.
2019-11-11 22:20:02 +01:00
Andreas Kling
c8637e0206
HackStudio: Allow moving the selected widgets using the arrow keys
...
This is a nice complement to moving widgets with the mouse. :^)
2019-11-10 22:40:58 +01:00
Andreas Kling
567769eb2f
HackStudio: Allow moving widgets around using the CursorTool
...
You can now move the widgets around, either by themselves or in group
selections, by dragging them with the cursor tool. :^)
2019-11-10 22:31:10 +01:00
Andreas Kling
f6576c4b7c
HackStudio: Start implementing basic widget selection in CursorTool
...
You can now select widgets by clicking on them with the CursorTool,
and toggle the selection state of a widget by Ctrl+clicking it.
2019-11-10 22:03:39 +01:00
Andreas Kling
e87756424d
HackStudio: Introduce a Tool class with subs CursorTool and WidgetTool
...
These will be used to draw out new widgets on a FormWidget, or in the
case of CursorTool, to select and manipulate existing widgets.
2019-11-10 21:45:32 +01:00
