|
|
@ -52,7 +52,6 @@ document.querySelector('#optionViews').appendChild(debuggerView) |
|
|
|
var filesView = filesTab() |
|
|
|
var filesView = filesTab() |
|
|
|
document.querySelector('#optionViews').appendChild(filesView) |
|
|
|
document.querySelector('#optionViews').appendChild(filesView) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// The event listener needs to be registered as early as possible, because the
|
|
|
|
// The event listener needs to be registered as early as possible, because the
|
|
|
|
// parent will send the message upon the "load" event.
|
|
|
|
// parent will send the message upon the "load" event.
|
|
|
|
var filesToLoad = null |
|
|
|
var filesToLoad = null |
|
|
@ -430,12 +429,6 @@ var run = function () { |
|
|
|
return $filesEl.position().left |
|
|
|
return $filesEl.position().left |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
function activeFilePos () { |
|
|
|
|
|
|
|
var el = $filesEl.find('.active') |
|
|
|
|
|
|
|
var l = el.position().left |
|
|
|
|
|
|
|
return l |
|
|
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function reAdjust () { |
|
|
|
function reAdjust () { |
|
|
|
if (widthOfList() + getLeftPosi() > widthOfVisible()) { |
|
|
|
if (widthOfList() + getLeftPosi() > widthOfVisible()) { |
|
|
|
$scrollerRight.fadeIn('fast') |
|
|
|
$scrollerRight.fadeIn('fast') |
|
|
|