arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-14 13:13:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
585 Commits 4 Branches 0 Tags 5.4 MiB
b315503975
Commit Graph

13 Commits

Author SHA1 Message Date
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
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
Moritz Dieing
c42fd73361 Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc 2021-02-06 12:09:40 +01:00
Moritz Dieing
619e6da18c Change drawer width + render on language change 2021-02-06 12:06:49 +01:00
Arne Keller
843430439d Fix layout of upper bar 2021-02-06 10:42:02 +01:00
Moritz Dieing
4c98976059 Extends content of infoDialog 2021-02-05 23:58:19 +01:00
Arne Keller
15ede65458 Make drawer more obvious 2021-02-01 15:35:15 +01:00
Moritz Dieing
69b9ef4773 DrawerContent erweitert + styling und logik besser getrennt 2021-01-30 01:28:53 +01:00
Moritz Dieing
158760ed5f HelpDialog und kleinere Änderungen 2021-01-29 17:15:59 +01:00
Moritz Dieing
36e8b4c020 UpperBar + InputBar erweitert 2021-01-29 01:25:49 +01:00
Moritz Dieing
c37934f898 UpperBar erweitert 2021-01-28 12:16:10 +01:00