arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix scrolling of type inference view

Browse Source
This commit is contained in:
Arne Keller 2021-03-08 08:25:39 +01:00
parent edd7d89e9c
commit bd8a7a26cf
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
frontend/styles/view/type-inference.css
View File

@ -17,6 +17,7 @@
padding: 10px;
box-sizing: border-box;
margin-top: 0;
overflow-y: scroll;
}
tc-proof-tree {