mirror of
https://github.com/codeninjasllc/codecombat.git
synced 2024-12-19 03:52:31 -05:00
d77625bc77
* Tweak API doc behavior and styling * Instead of moving to the left during active dialogues, just move to the top * Allow pointer events * Adjust close button * Re-enable pinning API docs for game-dev and web-dev levels * Make sidebar in PlayGameDevLevelView stretch, better layout columns * Set up content of PlayGameDevLevelView sidebar to scroll * Add rest of PlayGameDevLevelView sidebar content, rework what loading looks like * Finish PlayGameDevLevelView * Add share area below * Cover the brown background, paint it gray * Tweak PlayGameDevLevelView * Have progress bar show everything * Fix Surface resize handling * Fix PlayGameDevLevelView resizing incorrectly when playing * Add GameDevVictoryModal to PlayGameDevLevelView * Don't show missing-doctype annotation in Ace * Hook up GameDevVictoryModal copy button * Fix onChangeAnnotation runtime error * Fix onLevelLoaded runtime error * Have CourseVictoryModal link to /courses when course is done * Trim, update CourseDetailsView * Remove last vestiges of teacherMode * Remove giant navigation buttons at top * Quick switch to flat style * Add analytics for game-dev * Update Analytics events for gamedev * Prefix event names with context * Send to Mixpanel * Include more properties * Mostly set up indefinite play and autocast for game-dev levels * Set up cast buttons and shortcut for game-dev * Add rudimentary instructions when students play game-dev levels * Couple tweaks * fix a bit of code that expects frames to always stick around * have PlayGameDevLevelView render a couple frames on load * API Docs use 'game' instead of 'hero' * Move tags to head without combining * Add HTML comment-start string Fixes missing entry point arrows * Fix some whitespace
30 lines
1.1 KiB
Text
30 lines
1.1 KiB
Text
button.btn.btn-xs.btn-inverse#play-button.paused(title="Ctrl/Cmd + P: Toggle level play/pause")
|
|
.glyphicon.glyphicon-play
|
|
.glyphicon.glyphicon-pause
|
|
.glyphicon.glyphicon-repeat
|
|
|
|
button.btn.btn-xs.btn-inverse.picoctf-hide#volume-button(title="Adjust volume")
|
|
.glyphicon.glyphicon-volume-off
|
|
.glyphicon.glyphicon-volume-down
|
|
.glyphicon.glyphicon-volume-up
|
|
button.btn.btn-xs.btn-inverse.picoctf-hide#music-button(title="Toggle Music")
|
|
span ♫
|
|
|
|
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
|
|
|
|
.btn-group.dropup#playback-settings
|
|
button.btn.btn-xs.btn-inverse.toggle-fullscreen(title="Toggle fullscreen")
|
|
.glyphicon.glyphicon-fullscreen
|
|
button.btn.btn-xs.btn-inverse#zoom-in-button(title="Zoom In (or scroll down)")
|
|
.glyphicon.glyphicon-zoom-in
|
|
button.btn.btn-xs.btn-inverse#zoom-out-button(title="Zoom Out (or scroll up)")
|
|
.glyphicon.glyphicon-zoom-out
|