File tree Expand file tree Collapse file tree 2 files changed +6
-1
lines changed
Expand file tree Collapse file tree 2 files changed +6
-1
lines changed Original file line number Diff line number Diff line change 1919 <!-- Sidebar -->
2020 < div id ="sidebar ">
2121 <!-- Menu -->
22- < ul style =" margin-top:25px; " >
22+ < ul >
2323 < li data-event ="sidebar-run "> < span class ="glyphicon glyphicon-play " aria-hidden ="true "> </ span > < span data-string ="Run code "> </ span > < span id ="run-version "> </ span > </ li >
2424 < li data-event ="sidebar-clear "> < span class ="glyphicon glyphicon-erase " aria-hidden ="true "> </ span > < span data-string ="Clear "> </ span > </ li >
2525 < li data-event ="sidebar-import "> < span class ="glyphicon glyphicon-open-file " aria-hidden ="true "> </ span > < span data-string ="Import from file "> </ span > </ li >
Original file line number Diff line number Diff line change @@ -217,6 +217,11 @@ function renderApp(refresh) {
217217 container : 'body' ,
218218 delay : { show : 400 }
219219 } ) ;
220+
221+ // Padding sidebar buttons to not be under traffic lights
222+ if ( conf . get ( 'system.os' ) === 'osx' ) {
223+ $ ( '#sidebar ul' ) . css ( 'margin-top' , '22px' ) ;
224+ }
220225 }
221226
222227 // Populate language list
You can’t perform that action at this time.
0 commit comments