2014-09-22 01:10:52 -04:00
|
|
|
button.btn.btn-xs.btn-inverse#play-button.paused(title="Ctrl/Cmd + P: Toggle level play/pause")
|
2014-11-04 22:03:35 -05:00
|
|
|
.glyphicon.glyphicon-play
|
|
|
|
|
.glyphicon.glyphicon-pause
|
|
|
|
|
.glyphicon.glyphicon-repeat
|
2014-01-03 13:32:13 -05:00
|
|
|
|
2016-03-04 14:44:36 -05:00
|
|
|
button.btn.btn-xs.btn-inverse.picoctf-hide#volume-button(title="Adjust volume")
|
2014-11-04 22:03:35 -05:00
|
|
|
.glyphicon.glyphicon-volume-off
|
|
|
|
|
.glyphicon.glyphicon-volume-down
|
|
|
|
|
.glyphicon.glyphicon-volume-up
|
2016-03-04 14:44:36 -05:00
|
|
|
button.btn.btn-xs.btn-inverse.picoctf-hide#music-button(title="Toggle Music")
|
2014-02-19 15:27:49 -05:00
|
|
|
span ♫
|
2014-01-03 13:32:13 -05:00
|
|
|
|
2016-07-28 16:39:58 -04:00
|
|
|
if !view.options.level.isType('game-dev')
|
|
|
|
|
.scrubber
|
|
|
|
|
.scrubber-inner
|
|
|
|
|
.progress.secret#timeProgress
|
|
|
|
|
.progress-bar
|
|
|
|
|
.scrubber-handle
|
|
|
|
|
.popover.fade.top.in#timePopover
|
|
|
|
|
.arrow
|
|
|
|
|
h3.popover-title
|
|
|
|
|
.popover-content
|
2014-03-29 19:38:45 -04:00
|
|
|
|
2014-01-03 13:32:13 -05:00
|
|
|
.btn-group.dropup#playback-settings
|
2014-02-20 16:19:49 -05:00
|
|
|
button.btn.btn-xs.btn-inverse.toggle-fullscreen(title="Toggle fullscreen")
|
2014-11-04 22:03:35 -05:00
|
|
|
.glyphicon.glyphicon-fullscreen
|
2014-01-23 23:15:36 -05:00
|
|
|
button.btn.btn-xs.btn-inverse#zoom-in-button(title="Zoom In (or scroll down)")
|
2014-11-04 22:03:35 -05:00
|
|
|
.glyphicon.glyphicon-zoom-in
|
2014-01-23 23:15:36 -05:00
|
|
|
button.btn.btn-xs.btn-inverse#zoom-out-button(title="Zoom Out (or scroll up)")
|
2014-11-04 22:03:35 -05:00
|
|
|
.glyphicon.glyphicon-zoom-out
|
