Nicola
|
8eebb35df6
|
Refined partially external selections
|
2022-01-09 23:42:37 +01:00 |
|
Nicola
|
fa1da7ca4c
|
Added back copy cut paste
|
2022-01-07 23:22:42 +01:00 |
|
Nicola
|
afff386e5f
|
Added back selection pasting and end of selection
|
2022-01-07 23:10:50 +01:00 |
|
Nicola
|
06f534e38e
|
Started selection dragging
|
2022-01-06 23:12:09 +01:00 |
|
Nicola
|
de2479b007
|
Started making selection tools more generic
Will also hopefully remove MoveSelection.js and put its functions in SelectionTool
|
2022-01-05 23:54:29 +01:00 |
|
Nicola
|
b37d050af8
|
Moved cursor in selection check to selection tool
|
2021-12-28 23:38:28 +01:00 |
|
Nicola
|
69d7f12790
|
Slightly refactored selection tool
Now the move tool doesn't depend on how the selection has been made anymore
|
2021-12-28 23:14:37 +01:00 |
|
unsettledgames
|
a56d7092fc
|
Added ResizableTool and SelectionTool
|
2021-11-01 13:02:18 +01:00 |
|