search

hfurubotten / autograder

Automatic management and build tool for lab assignments. Moved to organization autograde: https://github.com/autograde
https://github.com/autograde
Other
14 stars 7 forks source link

ui: keep top-menu visible always #56

Open meling opened 8 years ago

meling commented 8 years ago

It would be nice if the top-menu bar could be made visible always, even though the user scrolls down.