Merge pull request #1007 from pcottle/goalOnRight

Resolves #987 -- start goal on the right
This commit is contained in:
Peter Cottle 2022-09-04 08:36:26 -07:00 committed by GitHub
commit 02162b208b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 7 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,8 +335,8 @@ div.inside pre {
}
div.canvasTerminalHolder > div.terminal-window-holder {
max-width: 500px;
min-width: 500px;
max-width: 400px;
min-width: 400px;
overflow: visible !important;
}