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
618 Commits 4 Branches 0 Tags 5.4 MiB
db5856b360
Commit Graph

618 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
ucrhh
e724aedebd add shortcuts demo 2021-03-05 14:21:50 +01:00
ucrhh
efe4e5f243 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 13:55:45 +01:00
ucrhh
24f898d64a move buttons to accordion sumamry 2021-03-05 13:55:31 +01:00
uogau
92d0e77bb6 added close buttons to dialog 2021-03-05 13:26:22 +01:00
ucrhh
a7e8a24d77 make examples latex code compatible with normal LaTeX 2021-03-05 12:51:56 +01:00
ucrhh
b728ced2af Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-05 12:48:56 +01:00
ucrhh
5285aa067e fix that link changes when entering empty term 2021-03-05 12:48:29 +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
ucrhh
d4a6acbc07 navigate to startpage when empty term is entered 2021-03-05 12:36:47 +01:00
ucrhh
7a689d12a9 improved texts 2021-03-05 12:08:29 +01:00
Arne Keller
50a5662837 Set title in presenter 2021-03-05 10:45:53 +01:00
Arne Keller
37b3be5066 Fix history issues 2021-03-05 10:29:54 +01:00
Arne Keller
029b088b38 Add noscript info to index.html 2021-03-05 09:41:06 +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
Johanna Stuber
709c061059 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-03-04 19:19:06 +01:00
Johanna Stuber
22adbfe1c6 highlight 'highlighted' 2021-03-04 19:17:55 +01:00
Johanna Stuber
3acdc46bef remove superfluous unification step 2021-03-04 19:06:53 +01:00
Moritz Dieing
6fdfb45b47 Preserve language on refresh 2021-03-04 19:04:45 +01:00
Arne Keller
6cea905dc4 Use aligned instead of align* 2021-03-04 12:10:15 +01:00
ucrhh
5f35f57151 examples load instantly when clicked 2021-03-04 11:28:51 +01:00
Arne Keller
cde13db5b1 Replace every backslash after user finished typing 2021-03-03 21:43:38 +01:00
Moritz Dieing
19a2921cbc Add screenshots 2021-03-03 19:56:05 +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
e61c34c8da WIP unification change highlighter 2021-03-03 14:57:23 +01:00
Arne Keller
a807179b05 Pointer cursor for buttons 2021-03-02 18:24:18 +01:00
ucrhh
0154e2ddf9 remove '-' from tab name when given term is empty 2021-03-01 12:32:36 +01:00
ucrhh
b282064f72 make typeAssumption delete button not focusable using tab 2021-03-01 11:21:05 +01:00
Johanna Stuber
dda2f4747b kleinere Änderungen nach 2. Tester 2021-02-28 16:09:09 +01:00
Johanna Stuber
b2aae87b55 typos, kleine Änderungen nach Testerrückmeldung 2021-02-28 12:44:25 +01:00
Robin
0cda05d847 put disabling logic into refreshElements() 2021-02-28 11:32:50 +01:00
Robin
7271c22029 ControlPanel Buttons are now disabled when they have no function 2021-02-28 11:17:16 +01:00
Johanna Stuber
bd5f0eeefa Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-27 23:02:03 +01:00
Johanna Stuber
c2475d4983 Szenario mit Permlaink IT 2021-02-27 23:01:53 +01:00
ucrhh
66ad18fe93 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-27 22:21:38 +01:00
ucrhh
6c291ce271 add scenario1 test 2021-02-27 22:19:55 +01:00
Arne Keller
3a20b338ff Optimize MathJax layout algorithm 2021-02-27 21:28:17 +01:00
Moritz Dieing
b058ee037c Integration test: latex export + type assumptions 2021-02-27 15:40:15 +01:00
Arne Keller
24454a26ee Integration test: example scenario 2021-02-26 12:15:35 +01:00
Moritz Dieing
bb7954d393 Typo 2021-02-25 19:59: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
Johanna Stuber
862fc87393 OnlyConclusionStepTest 2021-02-24 22:47:37 +01:00