Isaiah Odhner
|
f70a062b9b
|
Strictly type check enhanced_directory_tree.py, ignoring private access
|
2023-04-22 18:04:38 -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
|
149676f497
|
Add some todo notes
|
2023-04-20 22:54:51 -04:00 |
|
Isaiah Odhner
|
e9218e1c75
|
Rename dir_name -> path_segment since it can refer to a file
|
2023-04-20 22:54:39 -04:00 |
|
Isaiah Odhner
|
2ee021e236
|
Move expand_directory_tree logic into an EnhancedDirectoryTree class
|
2023-04-20 22:23:06 -04:00 |
|