Isaiah Odhner
42fdbe83d7
Fix unused parameter to erase_region
...
Why wasn't this reported?
2023-04-22 21:57:58 -04:00
Isaiah Odhner
505605c660
Add typing to preprocess.py script that I'm not using
...
ChatGPT did most of this for me. I just said "Please add type annotations to this code. Surround the code in a Markdown code block."
and then fixed the Generator and the lambda.
2023-04-22 21:53:51 -04:00
Isaiah Odhner
5d778c1879
Annotate **kwargs as Any
2023-04-22 21:44:05 -04:00
Isaiah Odhner
11f3319ced
Complete type checking of file I'm not even using
2023-04-22 21:18:05 -04:00
Isaiah Odhner
625324e66b
Fix BorderDefinition typing
2023-04-22 21:11:47 -04:00
Isaiah Odhner
2d88529bc0
Guess at how to typecheck this parametric event type
2023-04-22 21:08:38 -04:00
Isaiah Odhner
2c8f79e37a
Shorten code and help the type checker understand that this isn't None
...
dhooo short
2023-04-22 21:08:38 -04:00
Isaiah Odhner
3d419f13b3
Remove unused NAME_MAP code from calculator example
2023-04-22 20:53:13 -04:00
Isaiah Odhner
9f06373cb7
Add a bunch more type checking hints/assertions
2023-04-22 20:51:51 -04:00
Isaiah Odhner
2c8d74808a
Add a whole bunch more type checking
2023-04-22 18:54:21 -04:00
Isaiah Odhner
1384fd1670
Enable strict type checking for all files...
2023-04-22 18:53:36 -04:00
Isaiah Odhner
f70a062b9b
Strictly type check enhanced_directory_tree.py, ignoring private access
2023-04-22 18:04:38 -04:00
Isaiah Odhner
2e839b2564
Clean up unused imports
2023-04-22 17:49:15 -04:00
Isaiah Odhner
4f8ea8a93d
Strictly type check i18n.py
2023-04-22 17:45:04 -04:00
Isaiah Odhner
a8f174eb8e
Fix the last type checking error, and simply --reload-on-changes
...
Hopefully this makes it more robust as well...
2023-04-22 17:29:41 -04:00
Isaiah Odhner
2827457497
Fix default document size
...
Broken in "Start type checking code" 1b56d78f70
2023-04-22 14:55:22 -04:00
Isaiah Odhner
da62add6c1
Avoid "possibly unbound" errors
2023-04-22 14:24:49 -04:00
Isaiah Odhner
3b2b383595
Assert a few more specific types
2023-04-22 14:24:49 -04:00
Isaiah Odhner
2a7427c5c8
Make Pyright happy with EnhancedDirectoryTree scrolling
...
- Don't use a lambda so it doesn't return something
- Assert region is found (not None)
2023-04-22 14:24:49 -04:00
Isaiah Odhner
91dd804f4a
Fix type annotation for interpolations (*varargs gives a tuple)
2023-04-22 14:24:49 -04:00
Isaiah Odhner
00ab062d3e
Assert type so Pyright knows about .plain and .markup
2023-04-22 13:58:09 -04:00
Isaiah Odhner
7cd44c0abe
Ignore border_title
...
I found these "type: ignore" comments where border_title is defined,
and copied 'em!
2023-04-22 13:46:02 -04:00
Isaiah Odhner
27c9646b20
DRY window closing and make type checker happy with an assertion
2023-04-22 13:46:02 -04:00
Isaiah Odhner
065c5be2cb
Appease the type checker by using maps of buttons
2023-04-22 13:46:02 -04:00
Isaiah Odhner
77295bd622
Int, innit? Init int
2023-04-22 13:11:23 -04:00
Isaiah Odhner
f7b68c7e7a
Now do we enter the land of making code worse for the type checker's benefit?
2023-04-22 02:42:20 -04:00
Isaiah Odhner
f52201eebe
Fix presumed method for removing nodes
...
(This removal code never runs, currently.)
2023-04-22 02:42:19 -04:00
Isaiah Odhner
1b56d78f70
Start type checking code
2023-04-22 02:31:58 -04:00
Isaiah Odhner
6b01b604fe
Set up pyright type checker
2023-04-22 02:27:43 -04:00
Isaiah Odhner
27c95a537c
Make mouse_at_start an Offset (consistently)
...
It was already initially defined as an Offset.
2023-04-22 01:12:48 -04:00
Isaiah Odhner
45fb2eb521
Implement polygon tool
2023-04-22 01:07:20 -04:00
Isaiah Odhner
2c469a5ef3
Draw curve preview also on mouse up and mouse down events
...
It feels more solid now, but it still disappears if the mouse leaves the canvas.
2023-04-21 23:52:23 -04:00
Isaiah Odhner
4f99b9f6a7
Make eraser tool square
...
I also have an erase_region method I could use now, alternatively.
2023-04-21 23:45:04 -04:00
Isaiah Odhner
6ce1856ec7
Fix brush/pencil/eraser previews
2023-04-21 23:40:48 -04:00
Isaiah Odhner
55e6ed6caf
DRY some curve tool preview stuff
2023-04-21 23:38:11 -04:00
Isaiah Odhner
4d86f783be
Implement Curve tool
2023-04-21 23:16:58 -04:00
Isaiah Odhner
18b78cea03
Outside the Ministry of Silly Walks's jurisdiction, it's a squaredance.
2023-04-21 23:16:58 -04:00
Isaiah Odhner
cc0bdf0973
Implement Text tool
2023-04-21 22:12:16 -04:00
Isaiah Odhner
7442480979
Optimize/abbreviate repeated integer division by the magnification level
2023-04-21 20:49:41 -04:00
Isaiah Odhner
d602753117
Refactor get_select_region
2023-04-21 20:18:58 -04:00
Isaiah Odhner
d39f491233
Fix selection while zoomed in
2023-04-21 19:45:01 -04:00
Isaiah Odhner
37cdcdfb13
Implement View > Zoom > Custom Zoom
2023-04-21 19:30:37 -04:00
Isaiah Odhner
cbe40406a6
Fix selection region changing on mouse up
...
It may be wrong (sometimes), but it shouldn't change (on mouse up)!
That's something (not nothing)!
2023-04-21 19:04:50 -04:00
Isaiah Odhner
5b2e4e0f83
Make warning into an assertion
2023-04-21 18:39:18 -04:00
Isaiah Odhner
612bc3d204
Fix: refresh properly when finishing a selection
2023-04-21 18:35:41 -04:00
Isaiah Odhner
c5c9bd9425
Fix dragging selection a second time: Don't replace image data!
2023-04-21 18:25:45 -04:00
Isaiah Odhner
e98931e8ef
Implement Edit > Clear Selection (Delete)
2023-04-21 16:45:20 -04:00
Isaiah Odhner
61d3db4714
Fix undo/redo handling for the Select tool
2023-04-21 16:34:38 -04:00
Isaiah Odhner
1eea87c6c9
Fix error if dragging from off the canvas and releasing mouse over it
2023-04-21 16:07:43 -04:00
Isaiah Odhner
e579b005c0
Note difference between tool.name and tool.get_name()
2023-04-21 16:04:33 -04:00
