##// END OF EJS Templates
Remove 5s wait on inactivity on GUI inputhook loops...
Remove 5s wait on inactivity on GUI inputhook loops The 5s (and 1s) waits were originally added in commit 5074878, but the 5 second wait meant if you left the console for 5+ minutes idle, it would take up to 5 seconds for a response to a keypress. This tradeoff of CPU cycles for battery life seems too far. Note that commit 5074878 was originally for wx, glut and pyglet are based on the wx version and came into existence after commit 5074878.

File last commit:

r11033:fa36e98f
r13125:f9e20986
Show More
menubar.less
19 lines | 292 B | text/x-less | LessCssLexer
MinRK
bootstrap menubar
r10888 #menubar {
}
#menubar .navbar-inner {
min-height: 28px;
MinRK
menubar not full-width...
r10970 border-top: 1px;
border-radius: 0px 0px @baseBorderRadius @baseBorderRadius;
}
#menubar .navbar {
margin-bottom: 8px;
MinRK
use responsive bootstrap
r10900 }
.nav-wrapper {
border-bottom: 1px solid @navbarBorder;
MinRK
menubar not full-width...
r10970 }
MinRK
compress menubar a few pixels vertically
r10971
#menubar li.dropdown {
line-height: 12px;
}