|
|
6922e3dc9b
|
Fixed 2 bugs and OOPed everything a little more.
|
2024-11-22 16:20:43 +01:00 |
|
|
|
f6ed881764
|
Implemented setting: highlight ones.
|
2024-11-21 20:19:37 +01:00 |
|
|
|
f0152cc2ce
|
Implemented reopening last opened file.
|
2024-11-21 19:47:15 +01:00 |
|
|
|
7b1a90c02f
|
The settings get now stored.
|
2024-11-21 18:54:32 +01:00 |
|
|
|
2012ee941c
|
Added type hint for open_files.
|
2024-11-21 17:34:58 +01:00 |
|
|
|
4cf77ac631
|
Added ui.py to make everything a little more oop.
|
2024-11-21 16:56:08 +01:00 |
|
|
|
fdd83c204e
|
Added settings widget.
|
2024-11-21 16:40:37 +01:00 |
|
|
|
0a17c54d85
|
Implemented a warning if the user tries to close a file that was not saved.
|
2024-11-20 13:05:24 +01:00 |
|
|
|
fd5b46d2e6
|
Made the open_files variable a dict again so it is easy to get the file object by the path.
|
2024-11-19 18:13:41 +01:00 |
|
|
|
30c1b55419
|
OOPed everything a little more and added some comments.
|
2024-11-18 18:28:26 +01:00 |
|
|
|
d86c9acc58
|
So now, it can actually read files.
|
2024-11-18 18:00:35 +01:00 |
|
|
|
8f8c11772e
|
File opening is now really working.
(Shows a tab menu with the opened files.)
|
2024-11-18 17:20:49 +01:00 |
|
|
|
2797c3ca44
|
File opening working.
(Only the popup that sets the variable.)
|
2024-11-17 18:54:51 +01:00 |
|
