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
762 Commits 4 Branches 0 Tags 5.4 MiB
79d6c88b1f
Commit Graph

172 Commits

Author SHA1 Message Date
uogau
526ed46c67 Added copy buttons to share dialog 2021-08-24 13:32:32 +02:00
Arne Keller
8ec10126b5 Consistent padding of tooltip 
see #18
 2021-08-16 10:10:48 +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
9773385eab Move hidden tooltip background off useful area 2021-08-10 11:46:46 +02:00
Arne Keller
69479a6368 Fix Var and Const definitions and tooltips 2021-08-08 18:28:22 +02:00
Arne Keller
51fdcac9d6 Clarify licensing 
closes #19
 2021-07-28 18:43:39 +02:00
Arne Keller
83892dcc66 Include tooltip directly in SVG 
This also fixes scaling issues
 2021-07-27 15:28:56 +02:00
Arne Keller
6df7f0f443 Fix tooltip display in Google Chrome 2021-07-27 13:08:54 +02:00
Arne Keller
c9e8fc7568 Move tooltip when moving the tree 2021-07-27 12:38:36 +02:00
Arne Keller
2e2b39c13b Show constraint in tooltip 
part of #18
 2021-07-20 09:35:39 +02:00
Arne Keller
35013bd819 Show correct tooltips for polymorphic steps 
fixes #16
 2021-07-19 11:21:54 +02:00
Arne Keller
3fdec5ff1b Highlight new constraint on step hover 2021-07-12 11:41:12 +02:00
Arne Keller
adb10a01aa Fix single step proof tree 2021-07-10 12:47:40 +02:00
Moritz Dieing
5eb5cd1a6e Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-07-05 18:01:40 +02:00
Moritz Dieing
1581985400 Add type assumption examples 2021-07-05 18:01:38 +02:00
Arne Keller
507d78e17f Fix key shortcut to select input field 2021-07-05 09:00:22 +02:00
Moritz Dieing
f928b2bae3 Optimise type assumption syntax 2021-07-02 14:47:25 +02:00
Arne Keller
dc69e14c04 Fix tree layout on some inputs 
Term: let f = λx. g y y in f 3
TA: g: boolean
 2021-07-01 08:05:39 +02:00
Arne Keller
1a988e1b7a Highlight types in unification too 
see #5
 2021-06-30 19:18:27 +02:00
Arne Keller
72c1823763 Step definition tooltips 
see #5
 2021-06-29 16:27:25 +02:00
Moritz Dieing
8463a26f97 Reduce upper bar height 2021-06-29 12:41:48 +02:00
Arne Keller
e621875ea4 Step label hover effect (PoC) 
see issue #5
 2021-06-28 14:46:22 +02:00
Arne Keller
916f73927d Highlighting of types on hover 
See issue #5
 2021-06-21 10:53:03 +02:00
Arne Keller
87fd783025 Tweak syntax and display of type assumptions 2021-06-18 15:16:07 +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
Arne Keller
a79d41b6e8 Accept special characters around type varibles 2021-06-17 17:24:05 +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
Arne Keller
ba8d221a42 Tooltip on entire plus button 2021-03-12 10:59:50 +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
5197f9be93 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-11 15:11:39 +01:00
ucrhh
f409e1e060 some styling 2021-03-11 15:11:22 +01:00
Arne Keller
d68d0abd2b Codestyle 2021-03-11 15:07:47 +01:00
Arne Keller
1dab9a3996 Zoom control tooltips 2021-03-11 14:56:10 +01:00
Arne Keller
ce01676a42 Convert frontend scripts to TypeScript 2021-03-10 18:39:41 +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
93d95e447c Don't scroll page when using key shortcuts 2021-03-10 16:07:52 +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