Mose Müller
ca794948d0
frontend: updated NumberComponent
...
- ignoring F1 and F12 keys, as well
- emitting parent_path, as well
- changing Form.Control readOnly -> disabled
- only show buttons when Form isn't read only
2023-08-02 12:06:20 +02:00
Mose Müller
2a6574fea1
frontend: implementing distinction between int and float NumberComponent
2023-08-02 12:06:20 +02:00
Mose Müller
e2ed88fc82
frontend: updating width of components
2023-08-02 12:06:20 +02:00
Mose Müller
bae1752e48
frontend: introducing DocStringComponent
2023-08-02 12:06:20 +02:00
Mose Müller
ac7266d7eb
frontend: adding todos
2023-08-02 12:06:19 +02:00
Mose Müller
71ce898310
frontend: updating NumberComponent styling
2023-08-02 12:06:19 +02:00
Mose Müller
b99f6365ac
frontend: adding NumberComponent
2023-08-02 12:06:19 +02:00