arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
567 Commits 4 Branches 0 Tags 5.4 MiB
cd5213a929
Commit Graph

121 Commits

Author SHA1 Message Date
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
Moritz Dieing
5c11d160d1 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 13:03:43 +01:00
Moritz Dieing
e06041bfcb Autoselect for ShareDialog 2021-03-07 13:03:35 +01:00
ucrhh
f6112424ee Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-07 13:02:33 +01:00
ucrhh
b635a9c5c6 make control panel on startpage fixed in position 2021-03-07 13:02:09 +01:00
Moritz Dieing
24feec3bc4 Better replacement of type variables 2021-03-07 12:44:52 +01:00
Arne Keller
7b3f412dd8 Move help style to CSS 2021-03-07 11:15:37 +01:00
Arne Keller
c22c125b7b Activate shortcuts only if possible 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
9363533e6a Focus input field on / press 2021-03-05 08:52:08 +01:00
Arne Keller
37f5b64518 Fix scope of key shortcuts 2021-03-04 23:16:08 +01:00
Moritz Dieing
592ace9882 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-03 19:53:53 +01:00
Moritz Dieing
b1fb1d8ef5 Better type in type assumptions 2021-03-03 19:53:39 +01:00
Arne Keller
a807179b05 Pointer cursor for buttons 2021-03-02 18:24:18 +01:00
Arne Keller
3a20b338ff Optimize MathJax layout algorithm 2021-02-27 21:28:17 +01:00
Arne Keller
f86e38e305 Remove custom index.html 
Breaks HTML5 compatibility
 2021-02-25 11:01:36 +01:00
Arne Keller
fecb53f9ca Shrink button width 2021-02-25 10:40:01 +01:00
Arne Keller
d09345259a Small style adjustments 2021-02-21 10:34:09 +01:00
Moritz Dieing
9c38621c34 Some english strings + layout changes 2021-02-19 13:37:07 +01:00
Moritz Dieing
ef81ef948f German version of start page 2021-02-19 12:31:23 +01:00
Moritz Dieing
43af68812e Save button for type assumptions 2021-02-17 17:29:04 +01:00
Arne Keller
a2b4a06e50 Fix share dialog size 2021-02-17 16:36:06 +01:00
Moritz Dieing
49c767bd0f Add typeInfer button to helpDialog 2021-02-16 16:17:02 +01:00
Moritz Dieing
cee2a964cc Improved error message 2021-02-16 14:53:40 +01:00
Moritz Dieing
38c3a61882 Set height and accordion width 2021-02-14 13:57:05 +01:00
Arne Keller
0bb88280b8 Set size only for help dialog 2021-02-14 13:51:08 +01:00
Arne Keller
ed21276f46 Workaround for Vaadin weirdness 2021-02-14 13:13:09 +01:00
Moritz Dieing
b2209bcdaf Set dialog width in java 
Css solution did not work when all accordion panels were closed
 2021-02-14 12:05:46 +01:00
Arne Keller
5a9903e754 Move style to CSS files 2021-02-13 17:49:29 +01:00
Moritz Dieing
81b74bd92d Use classic drawer toggle 
Use classic drawer toggle since its described in help content now.
 2021-02-13 15:03:49 +01:00
Arne Keller
4e7d124720 Consistent padding of help dialog 2021-02-13 10:31:08 +01:00
ucrhh
0e1c596702 remove spacing around scrollbar 2021-02-13 10:24:48 +01:00