arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-19 18:25:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
775 Commits 4 Branches 0 Tags 5.4 MiB
84f9623b95
Commit Graph

89 Commits

Author SHA1 Message Date
Arne Keller
29d692c231 Optimize unification view 2021-08-29 15:58:51 +02:00
Moritz Dieing
26c97d937e Add top and bottom padding to unification 2021-08-25 14:23:57 +02:00
Arne Keller
4d5d3b8636 Refactor unification view to be dynamically sized 
see #24
 2021-08-24 16:33:57 +02:00
uogau
526ed46c67 Added copy buttons to share dialog 2021-08-24 13:32:32 +02:00
Arne Keller
7abfd66aa8 Fix some bugs of the unification explanation 
see #20
 2021-08-16 09:50:43 +02:00
Arne Keller
f6ccf64788 Basic explanation text UI 2021-08-10 14:42:50 +02:00
Arne Keller
2e2b39c13b Show constraint in tooltip 
part of #18
 2021-07-20 09:35:39 +02:00
Moritz Dieing
1581985400 Add type assumption examples 2021-07-05 18:01:38 +02:00
Moritz Dieing
8463a26f97 Reduce upper bar height 2021-06-29 12:41:48 +02:00
Moritz Dieing
02f2216265 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-06-18 13:34:34 +02:00
Moritz Dieing
9ad8831ff2 Exchange TypeAssumption-Dialog with Textfield 2021-06-18 13:34:26 +02:00
uogau
3a443d848a Error messages now show where the error is 2021-06-18 13:24:51 +02:00
Moritz Dieing
9df9e657e1 Restructure upper bar 2021-06-16 15:37:35 +02:00
Arne Keller
e4f5727683 Reduce min height of proof tree 2021-04-04 17:39:49 +02:00
Arne Keller
bdbc53efbc Fix width of type inference rules 2021-03-17 16:18:27 +01:00
ucrhh
e81a532341 fix styling 2021-03-14 10:22:17 +01:00
ucrhh
3dd79320be make example buttons refresh on locale change 2021-03-13 12:26:23 +01:00
ucrhh
9a3b5586a6 make help icon white 2021-03-12 10:37:19 +01:00
Arne Keller
2eaf3eff15 Fix width of type inference rules 2021-03-11 17:10:15 +01:00
Johanna Stuber
648594bca3 add hr to footer, optimize styling 2021-03-11 16:22:20 +01:00
ucrhh
f409e1e060 some styling 2021-03-11 15:11:22 +01:00
Arne Keller
a43dad53a6 Optimize frontend calls 2021-03-10 18:04:32 +01:00
Arne Keller
3a0ee669d4 Cleanup 2021-03-10 16:49:35 +01:00
Arne Keller
dc1ae348d6 Fix unnecessary scroll bars 2021-03-10 16:07:52 +01:00
Arne Keller
66f34fedc4 Minimum width of type rules 2021-03-10 16:07:52 +01:00
Johanna Stuber
8068f82d40 adapt blue unification area to max content 2021-03-10 12:27:22 +01:00
Arne Keller
86496440ed WIP: convert drawer to normal element 2021-03-10 10:40:21 +01:00
Arne Keller
081e3e188b Fix touch interaction with proof tree 2021-03-08 12:42:32 +01:00
Arne Keller
9c599de580 Fix overflow of upper bar 2021-03-08 12:24:15 +01:00
Arne Keller
e40166e541 Fix start page overflow behaviour 2021-03-08 12:21:35 +01:00
Arne Keller
bd8a7a26cf Fix scrolling of type inference view 2021-03-08 08:25:39 +01:00
Arne Keller
c5d146a137 Move styling into CSS 2021-03-07 20:24:57 +01:00
Moritz Dieing
815b1f0bd9 Fix pipeline 2021-03-07 17:20:08 +01:00
ucrhh
b635a9c5c6 make control panel on startpage fixed in position 2021-03-07 13:02:09 +01:00
Arne Keller
7b3f412dd8 Move help style to CSS 2021-03-07 11:15:37 +01:00
Johanna Stuber
907f766166 merge 2021-03-06 22:19:22 +01:00
Arne Keller
de8b2c0fe3 Set pattern attribute of field, show error border 2021-03-06 21:46:53 +01:00
Arne Keller
251d7a3fc2 Attach character + position to some errors 2021-03-06 20:39:10 +01:00
Johanna Stuber
b03d33a91c add typiclacInfo 2021-03-06 18:56:35 +01:00
ucrhh
06e6135a3b change error notification to error page 2021-03-05 22:05:24 +01:00
Moritz Dieing
3fd5de7611 Better hover for buttons 2021-03-05 17:44:37 +01:00
ucrhh
f1df0fee45 merge 2021-03-05 16:21:04 +01:00
ucrhh
26d10ce0cb add shortcut panel 2021-03-05 16:16:38 +01:00
Arne Keller
a442f5caf5 Fix checkstyle issue 2021-03-05 15:51:01 +01:00
Arne Keller
a6856d1252 Fancy key shortcut characters 2021-03-05 15:47:27 +01:00
uogau
92d0e77bb6 added close buttons to dialog 2021-03-05 13:26:22 +01:00
Moritz Dieing
a7eaf394ec Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 12:44:29 +01:00
Moritz Dieing
7a80ccb577 Smaller copy button with notification 2021-03-05 12:44:17 +01:00
Arne Keller
6ebe1a7450 Fix keyboard navigation in upper bar 
As a bonus, it is now more obvious that the icons are buttons too
 2021-03-05 09:08:54 +01:00
Arne Keller
a807179b05 Pointer cursor for buttons 2021-03-02 18:24:18 +01:00