merge main

This commit is contained in:
Peter Cottle 2022-09-04 09:36:47 -06:00
commit 4607826d24
3 changed files with 12 additions and 5 deletions

View file

@ -223,7 +223,9 @@ var Level = Sandbox.extend({
// repo visualization a bit to make room. This way, you could have the goal window hang out on
// the right side of the screen and still see the repo visualization.
this.goalVis.customEvents.on('drag', function(event, ui) {
if (ui.position.left > 0.5 * $(window).width()) {
// our left is a negative value now that we start goal windows on the
// right, so we have to take absolute value
if (Math.abs(ui.position.left) < 0.4 * $(window).width()) {
if (!$('#goalPlaceholder').is(':visible')) {
$('#goalPlaceholder').show();
this.mainVis.myResize();

View file

@ -672,7 +672,7 @@ var CanvasTerminalHolder = BaseView.extend({
// Set the new position/size
this.$terminal.animate({
left: left + 'px',
right: right + 'px',
top: top + 'px',
height: height + 'px'
}, this.getAnimationTime(), function () {

View file

@ -257,7 +257,7 @@ div.canvasTerminalHolder {
height: 0;
position: fixed;
top: 0;
left: 0;
right: 10px;
z-index: 3;
}
@ -335,11 +335,16 @@ div.inside pre {
}
div.canvasTerminalHolder > div.terminal-window-holder {
max-width: 500px;
min-width: 500px;
max-width: 400px;
min-width: 400px;
overflow: visible !important;
}
div.canvasTerminalHolder > div.terminal-window-holder div.inside svg {
top: unset !important;
}
/* Toolbar */
div.toolbar {
/* borrowed from try.github.com along with a bunch of other things */