Ivan
|
760c4cd659
|
F: Enable Emoji support
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-23 20:33:07 +03:00 |
|
Ivan
|
861cb382ee
|
M: Fix placeholder text
|
2024-09-23 14:58:28 +03:00 |
|
Ivan
|
ca4ed9b928
|
npm update
|
2024-09-23 11:59:24 +03:00 |
|
Ivan
|
e1969b017b
|
M: Remove MockCst from sideView
|
2024-09-23 11:53:46 +03:00 |
|
Ivan
|
ff38802cc1
|
M: Improve coloring of constituents and statuses
|
2024-09-23 11:48:02 +03:00 |
|
Ivan
|
bfd429e004
|
M: Improve manuals UI layout
|
2024-09-23 10:33:47 +03:00 |
|
Ivan
|
df4323d214
|
F: Update pyconcept and implement improved typechecking
|
2024-09-22 20:25:10 +03:00 |
|
Ivan
|
1f84abbc24
|
M: Small UI layout fixes
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-21 20:24:18 +03:00 |
|
Ivan
|
d12e8fed22
|
M: Fix syntax error message
|
2024-09-21 17:27:59 +03:00 |
|
Ivan
|
6d8462565a
|
M: Minor UI fixes
|
2024-09-19 21:14:51 +03:00 |
|
Ivan
|
02b07d2874
|
R: React.PropsWithChildren
|
2024-09-19 17:48:48 +03:00 |
|
Ivan
|
08634e396e
|
R: use React.ComponentProps
|
2024-09-19 17:36:24 +03:00 |
|
Ivan
|
ccf1818e20
|
B: Fix inserting operation in empty OSS
|
2024-09-19 16:26:49 +03:00 |
|
Ivan
|
9e075dc67d
|
npm update
|
2024-09-18 16:28:25 +03:00 |
|
Ivan
|
c3c38ac7da
|
B: Fix initial data
|
2024-09-18 16:25:44 +03:00 |
|
Ivan
|
a753273d6d
|
M: Minor fix to AST viewer
|
2024-09-18 15:53:43 +03:00 |
|
Ivan
|
7f06777237
|
B: Fix constituenta tooltip
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-18 15:09:17 +03:00 |
|
Ivan
|
17ec9ea69d
|
M: Edit manuals
|
2024-09-18 12:54:16 +03:00 |
|
Ivan
|
93f2e772f6
|
M: allow single operand synthesis
|
2024-09-16 20:01:48 +03:00 |
|
Ivan
|
a919cf6baa
|
M: Minor UI improvements
|
2024-09-16 14:06:42 +03:00 |
|
Ivan
|
3e707eb933
|
M: Add modifications check for operation editor
|
2024-09-16 13:45:58 +03:00 |
|
Ivan
|
0a0342efc6
|
M: Improve Library location navigation
|
2024-09-15 21:18:32 +03:00 |
|
Ivan
|
b3ecae5d3d
|
M: Improve InlineSynthesis UI
|
2024-09-15 13:20:25 +03:00 |
|
Ivan
|
0149f98c8b
|
F: Add schemas coloring option for TermGraph
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-14 17:11:26 +03:00 |
|
Ivan
|
d33f3e02b4
|
B: Fix buttons layers
|
2024-09-14 16:13:51 +03:00 |
|
Ivan
|
3555db3edf
|
R: Add inherited cst source to API
|
2024-09-14 15:14:48 +03:00 |
|
Ivan
|
fc669b8b3a
|
M: Shorten manuals landing page
|
2024-09-13 13:31:03 +03:00 |
|
Ivan
|
495493bbbb
|
B: Fix incorrect local variable index parsing
|
2024-09-13 12:17:39 +03:00 |
|
Ivan
|
31195cdd60
|
R: Improve backend type hints, linting and package locks
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-12 21:10:05 +03:00 |
|
Ivan
|
453118ea66
|
Update requirements-dev.txt
|
2024-09-12 19:14:38 +03:00 |
|
Ivan
|
17d1eac522
|
B: Fix cache after changing aliases
|
2024-09-12 18:23:47 +03:00 |
|
Ivan
|
16479d6299
|
D: Add documentation to react components pt1
|
2024-09-12 16:41:48 +03:00 |
|
Ivan
|
ca077cb2f3
|
B: Fix test
|
2024-09-12 15:07:45 +03:00 |
|
Ivan
|
9804df4bae
|
R: Replace disabled buttons with indicators
|
2024-09-12 14:47:46 +03:00 |
|
Ivan
|
dc9609d347
|
F: Improve schema picker filtering
|
2024-09-12 13:28:41 +03:00 |
|
Ivan
|
9199518b25
|
M: Minor UI improvements
|
2024-09-12 11:57:20 +03:00 |
|
Ivan
|
c8c5055f72
|
B: Fix OSS image export. Use PNG for now
|
2024-09-12 00:13:08 +03:00 |
|
Ivan
|
6b397003b3
|
B: Fix react-flow attribution styling
Frontend CI / build (22.x) (push) Waiting to run
|
2024-09-11 21:26:53 +03:00 |
|
Ivan
|
296e740cc7
|
M: Improve layout for canvas - remove clipping top
|
2024-09-11 21:15:28 +03:00 |
|
Ivan
|
5d00a10a58
|
npm update
|
2024-09-11 20:08:59 +03:00 |
|
Ivan
|
fe678de8e4
|
R: Refactor Cst order attribute
0-indexed used for storage only
|
2024-09-11 20:06:01 +03:00 |
|
Ivan
|
6d84b89b14
|
Update README.md
|
2024-09-11 13:49:03 +03:00 |
|
Ivan
|
5ca7f4d057
|
M: Cleanup todos
|
2024-09-11 13:24:29 +03:00 |
|
Ivan
|
6e40aa06de
|
M: Optimize dialogs height for small screen notebooks
|
2024-09-10 17:40:30 +03:00 |
|
Ivan
|
1b662ad39f
|
B: Fix placeholder styling
|
2024-09-09 20:38:43 +03:00 |
|
Ivan
|
0302a99344
|
M: Fix text wrap for long filenames
|
2024-09-07 19:12:41 +03:00 |
|
Ivan
|
1078a271fb
|
M: Small UI fixes
|
2024-09-07 16:26:16 +03:00 |
|
Ivan
|
7100738706
|
M: Implement projection swap on ctrl + space
|
2024-09-06 15:59:09 +03:00 |
|
Ivan
|
168ff94c42
|
F: Improve RSEditor layout responsiveness
Frontend CI / build (22.x) (push) Has been cancelled
|
2024-09-06 14:19:09 +03:00 |
|
Ivan
|
8035a604bd
|
B: Fix renaming validation
|
2024-09-05 21:24:57 +03:00 |
|