Commit Graph

159 Commits

Author SHA1 Message Date
Ivan
abca112b28 Update LinkTopic.tsx 2024-10-31 15:21:21 +03:00
Ivan
9e9d8a3f08 M: Small UI fix
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-10-30 21:48:07 +03:00
Ivan
6be49f2752 M: Fix TSDoc text 2024-10-30 21:35:43 +03:00
Ivan
9842681e51 M: Improve UI borders and styling props 2024-10-29 12:44:51 +03:00
Ivan
dde592bd32 F: Improve Help UI for dialogs 2024-10-29 12:05:23 +03:00
Ivan
227c0a2975 F: Constituenta relocation: final part 2024-10-28 23:55:12 +03:00
Ivan
731ca12308 R: Add eslint-plugin-react-hooks and fix issues 2024-10-23 16:27:56 +03:00
Ivan
1da81dbfc1 F: Constituenta relocation pt1 2024-10-23 15:18:46 +03:00
Ivan
b1bfbe26cb M: Update dependencies + small fixes 2024-10-17 17:02:30 +03:00
Ivan
467e8be310 M: Minor fixes 2024-10-14 12:40:47 +03:00
Ivan
26265707a6 M: Improve table column width when NoHeader is on 2024-09-27 15:28:52 +03:00
Ivan
124abf33eb F: Rework user filter for LibraryPage 2024-09-27 12:23:09 +03:00
Ivan
4383511a4a F: Add AST visualization for expression 2024-09-26 23:26:20 +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
1f84abbc24 M: Small UI layout fixes
Some checks failed
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
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
7f06777237 B: Fix constituenta tooltip
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-18 15:09:17 +03:00
Ivan
0149f98c8b F: Add schemas coloring option for TermGraph
Some checks failed
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
3555db3edf R: Add inherited cst source to API 2024-09-14 15:14:48 +03:00
Ivan
495493bbbb B: Fix incorrect local variable index parsing 2024-09-13 12:17:39 +03:00
Ivan
16479d6299 D: Add documentation to react components pt1 2024-09-12 16:41:48 +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
fe678de8e4 R: Refactor Cst order attribute
0-indexed used for storage only
2024-09-11 20:06:01 +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
0302a99344 M: Fix text wrap for long filenames 2024-09-07 19:12:41 +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
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-06 14:19:09 +03:00
Ivan
8f29c69b49 F: Add ordering to OSS arguments 2024-09-04 14:37:07 +03:00
Ivan
d23f02420a F: Improve tooltips positioning and text truncation
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-09-02 18:33:54 +03:00
Ivan
c5ec6f1d07 M: Minor UI fix 2024-09-02 12:14:19 +03:00
Ivan
4ed6975d84 M: Small UI fixes 2024-08-31 00:01:42 +03:00
Ivan
b3c8b217c0 B: Fix input min-width
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-30 11:03:31 +03:00
Ivan
51ad937b99 B: Small UI fixes 2024-08-28 22:38:34 +03:00
Ivan
7555b2219d F: Add suggestions to substitution table 2024-08-28 15:42:57 +03:00
Ivan
584ce59f2d F: Add search feature to multiple cst selector 2024-08-25 13:52:14 +03:00
Ivan
1efa13b1c5 F: Improve versioning UI 2024-08-24 12:29:09 +03:00
Ivan
f86d847d64 M: Minor syntax fixes
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-23 22:53:32 +03:00
Ivan
b60c1305bd F: Improve stats UI for OSS and RSForm 2024-08-23 21:28:54 +03:00
Ivan
1305560679 M: Improve stats labels 2024-08-23 12:35:05 +03:00
Ivan
7a4fceb9bf F: Implement CSV export 2024-08-22 22:41:29 +03:00
Ivan
e1a95e1d81 M: Improve manuals 2024-08-22 21:38:59 +03:00
Ivan
cdefe97d98 M: Improve RSForm stats UI 2024-08-22 15:33:44 +03:00
Ivan
87bdf9f2e6 M: Improve LibraryItem editor 2024-08-21 21:48:47 +03:00
Ivan
96db927c71 R: Remove redundant font option 2024-08-21 20:32:04 +03:00
Ivan
2083c11ff5 M: Improve graph UI 2024-08-21 20:20:48 +03:00
Ivan
37d022a030 F: Implement location editing + showSubfolders 2024-08-21 16:49:04 +03:00
Ivan
0c8577e913 F: Remove subscriptions and notification icon 2024-08-20 15:09:36 +03:00
Ivan
6d7183620e F: Improve OSS UI and Manuals
Some checks failed
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-19 22:03:08 +03:00
Ivan
a6742a7b7c M: Improve typification and expression visibility 2024-08-19 19:15:21 +03:00
Ivan
02afd44488 M: Minor UI fixes and coverage fix 2024-08-19 18:32:21 +03:00
Ivan
c6e64fddb8 M: Minor UI improvements 2024-08-19 10:55:52 +03:00
Ivan
dee49b789a M: Minor OSS UI fixes 2024-08-17 23:43:15 +03:00
Ivan
c1c8384024 F: Use embed instead of react-pdf
Significantly decreases package size
2024-08-17 23:01:55 +03:00
Ivan
85c3027d3d M: Implement RSForm sorting for OSS and small UI fixes 2024-08-17 22:35:59 +03:00
Ivan
259259ec7e F: Improve OSS UI 2024-08-17 12:16:50 +03:00
Ivan
fbd84ece4d R: Invalidate OSS on RSForm change. Add lazy loading
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-16 12:44:09 +03:00
Ivan
f59206c182 F: Implement operation and schema delete consequence for OSS 2024-08-15 23:23:10 +03:00
Ivan
e17056ea10 F: Prepare operation change propagation 2024-08-14 21:50:10 +03:00
Ivan
fde844f5c2 F: Implement substitutions propagation
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-08-12 16:51:24 +03:00
Ivan
efc4d1bd07 M: Improve cst table UI 2024-08-11 14:24:37 +03:00
Ivan
1600c8abd2 M: Change propogation 2024-08-09 20:57:03 +03:00
Ivan
edc728fe00 R: Upgrade to eslint9 2024-08-06 14:38:10 +03:00
Ivan
92a0453b18 F: Implement RSForm and OSS attribute sync 2024-08-05 23:53:07 +03:00
Ivan
c0d01957ff M: Update icons 2024-08-03 11:59:51 +03:00
Ivan
cc8cb2d53c M: Update manuals 2024-08-03 11:30:47 +03:00
Ivan
e96206b7db M: Improve node positioning in OSS 2024-08-02 11:17:27 +03:00
Ivan
27ba4a5da8 F: Add function for predecessor tracing
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
Update oss.py
2024-08-01 21:20:30 +03:00
Ivan
e29f7409c1 F: Improve RSForm and OSS UI + some fixes 2024-08-01 20:15:16 +03:00
Ivan
967eabde51 F: Improve RSForm UI for inherited cst 2024-08-01 11:55:45 +03:00
Ivan
e5977d259b F: Improve OSS <-> RSForm UI 2024-08-01 00:35:49 +03:00
Ivan
2a30661355 F: Implementing backend for synthesis operation
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-07-31 18:09:08 +03:00
Ivan
2e19c6fa69 R: Simplify sync_text and transfer_term 2024-07-30 15:59:37 +03:00
Ivan
afd3f5f7e4 F: Prepare frontend for Synthesis execution 2024-07-29 23:20:17 +03:00
Ivan
d3213211b5 F: Implement UI for synthesis 2024-07-29 16:55:48 +03:00
Ivan
01c0eb201e F: Implement dev helper features
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-07-28 13:07:00 +03:00
Ivan
c7da60325c Improve icons 2024-07-28 01:30:00 +03:00
Ivan
f67e304a79 Update Icons.tsx 2024-07-28 00:54:02 +03:00
Ivan
12963c08dd F: Improve OSS UI controls 2024-07-26 21:08:31 +03:00
Ivan
2eff1b27b9 F: Improve OSS UI
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-07-26 17:30:37 +03:00
Ivan
583083c1fd F: Improve OSS UI 2024-07-26 00:33:22 +03:00
Ivan
338ad2bb98 Improve OSS UI
Some checks failed
Backend CI / build (3.12) (push) Has been cancelled
Frontend CI / build (22.x) (push) Has been cancelled
2024-07-24 18:11:28 +03:00
Ivan
7b39b76498 Implementing basic oss graph pt2 2024-07-21 15:17:36 +03:00
Ivan
286abaf476 Implementing basic oss graph pt1 2024-07-20 18:26:32 +03:00
Ivan
5922c28fa7 Small UI fixes 2024-07-19 20:42:54 +03:00
IRBorisov
aac805d478 Refactor location naming 2024-06-27 11:34:52 +03:00
IRBorisov
6c3461977d Refactoring: UI elements naming convention
Some checks are pending
Frontend CI / build (18.x) (push) Waiting to run
2024-06-26 19:47:05 +03:00
IRBorisov
0ee686f6a4 Implement location selector button
Some checks are pending
Frontend CI / build (18.x) (push) Waiting to run
2024-06-26 18:59:49 +03:00
IRBorisov
9a7076d516 Revert "Improting synthesis implementation pt1"
Some checks failed
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (18.x) (push) Has been cancelled
2024-06-21 23:47:23 +03:00
IRBorisov
000bfad0f8 Start fixing type errors and basic linting
Some checks are pending
Backend CI / build (3.12) (push) Waiting to run
Frontend CI / build (18.x) (push) Waiting to run
2024-06-21 21:46:10 +03:00
IRBorisov
e144d156ac Improting synthesis implementation pt1 2024-06-21 19:56:30 +03:00
IRBorisov
8f53afa34e Implementing SelectLocation pt1
Some checks are pending
Frontend CI / build (18.x) (push) Waiting to run
2024-06-21 19:32:47 +03:00
IRBorisov
e1d8c99ebf Minor UI refactorings 2024-06-21 19:16:41 +03:00
IRBorisov
693cf5d391 Remove redundant cursor specifications 2024-06-21 17:13:34 +03:00
IRBorisov
2f33a140b7 Minor UI fixes 2024-06-21 11:16:47 +03:00