mbeditor 0.13.1 → 0.14.0

data/app/assets/javascripts/mbeditor/file_import.js

@@ -13,6 +13,16 @@ var FileImport = (function () {
   // otherwise reject the request as a 500 before the server guard can run.
   var MAX_ENTRIES = 100;
 
+  // Every collector returns this same shape; `truncated` is read off the full
+  // list, so it must be computed before the slice.
+  function capResult(list, foldersSkipped) {
+    return {
+      entries: list.slice(0, MAX_ENTRIES),
+      truncated: list.length > MAX_ENTRIES,
+      foldersSkipped: !!foldersSkipped
+    };
+  }
+
   function hasExternalFiles(dataTransfer) {
     if (!dataTransfer || !dataTransfer.types) return false;
     return Array.prototype.indexOf.call(dataTransfer.types, 'Files') !== -1;
@@ -41,20 +51,12 @@ var FileImport = (function () {
       for (var j = 0; j < files.length; j++) {
         flat.push({ file: files[j], relativePath: files[j].name });
       }
-      return Promise.resolve({
-        entries: flat.slice(0, MAX_ENTRIES),
-        truncated: flat.length > MAX_ENTRIES,
-        foldersSkipped: !!(items && items.length > flat.length)
-      });
+      return Promise.resolve(capResult(flat, items && items.length > flat.length));
     }
 
     var collected = [];
     return walkAll(roots, collected).then(function () {
-      return {
-        entries: collected.slice(0, MAX_ENTRIES),
-        truncated: collected.length > MAX_ENTRIES,
-        foldersSkipped: false
-      };
+      return capResult(collected, false);
     });
   }
 
@@ -99,11 +101,7 @@ var FileImport = (function () {
       var f = fileList[i];
       out.push({ file: f, relativePath: stripLeadingSlash(f.webkitRelativePath || f.name) });
     }
-    return {
-      entries: out.slice(0, MAX_ENTRIES),
-      truncated: out.length > MAX_ENTRIES,
-      foldersSkipped: false
-    };
+    return capResult(out, false);
   }
 
   // Where in the workspace does this set of files already live?

data/app/assets/javascripts/mbeditor/file_service.js

@@ -140,56 +140,47 @@ axios.interceptors.response.use(function (response) {
 //
 // The editor keeps working while migrations are pending — the server-side
 // bypass (Mbeditor::Rack::PendingMigrationBypass) is what makes that true — so
-// this is purely informational now. It is driven by a response *header* rather
-// than by a failed request, for two reasons: after the bypass there is no
-// failed request left to hang it on, and a header rides every response, so a
-// migration created mid-session raises the banner too, and running the
-// migration clears it without a reload.
+// this is purely informational. It is driven by a response *header* rather than
+// by a failed request, for two reasons: after the bypass there is no failed
+// request left to hang it on, and a header rides every response, so a migration
+// created mid-session raises the warning too, and running the migration clears
+// it without a reload.
 //
-// The old failed-response trigger is kept alongside: a PendingMigrationError
-// raised somewhere the bypass does not cover still shows the banner.
-var MIGRATION_BANNER_ID = 'mbeditor-migration-banner';
-
-function _showMigrationBanner() {
-  if (!document.body || document.getElementById(MIGRATION_BANNER_ID)) return;
-  var banner = document.createElement('div');
-  banner.id = MIGRATION_BANNER_ID;
-  banner.style.cssText = [
-    'position:fixed', 'top:0', 'left:0', 'right:0', 'z-index:99999',
-    'background:#f1c40f', 'color:#1e1e1e', 'font-family:system-ui,sans-serif',
-    'font-size:13px', 'padding:8px 16px', 'display:flex',
-    'align-items:center', 'gap:12px'
-  ].join(';');
-  banner.innerHTML =
-        '<strong>Pending migrations detected.</strong>' +
-        ' Run <code style="background:rgba(0,0,0,.15);padding:1px 5px;border-radius:3px">rails db:migrate</code>' +
-        ' then reload — editing still works in the meantime.' +
-        '<button onclick="this.parentNode.remove()" style="margin-left:auto;background:none;border:none;' +
-        'cursor:pointer;font-size:16px;line-height:1;padding:0 4px" aria-label="Dismiss">\u00d7</button>';
-  document.body.prepend(banner);
-}
-
-function _hideMigrationBanner() {
-  var existing = document.getElementById(MIGRATION_BANNER_ID);
-  if (existing) existing.remove();
+// Only an explicit "1"/"0" counts. A response with no header at all is no
+// evidence either way: an error page rendered by ActionDispatch::DebugExceptions
+// never carries one (that middleware sits above the bypass), and treating its
+// absence as "cleared" made the warning flicker off and back on.
+//
+// The state lives as a class on <body> so the CSS can recolour the status bar
+// without React; the event is what the status bar's warning listens to.
+var MIGRATION_PENDING_CLASS = 'mbeditor-migration-pending';
+var MIGRATION_PENDING_EVENT = 'mbeditor:pending-migration';
+
+function _setPendingMigration(pending) {
+  if (!document.body) return;
+  if (document.body.classList.contains(MIGRATION_PENDING_CLASS) === pending) return;
+  document.body.classList.toggle(MIGRATION_PENDING_CLASS, pending);
+  window.dispatchEvent(new CustomEvent(MIGRATION_PENDING_EVENT, { detail: pending }));
 }
 
-// Mirrors Mbeditor::Rack::PendingMigrationBypass::PENDING_HEADER. Absent means
-// the check passed, so the banner is cleared as soon as the migration is run —
-// no reload needed.
+// Mirrors Mbeditor::Rack::PendingMigrationBypass::PENDING_HEADER.
 function _notePendingMigrationHeader(response) {
   if (!response || !response.headers) return;
-  if (response.headers['x-mbeditor-pending-migration']) _showMigrationBanner();
-  else _hideMigrationBanner();
+  var value = response.headers['x-mbeditor-pending-migration'];
+  if (value === undefined || value === null || value === '') return;
+  _setPendingMigration(value !== '0');
 }
 
 axios.interceptors.response.use(function (response) {
   _notePendingMigrationHeader(response);
   return response;
 }, function (error) {
+  // A PendingMigrationError raised somewhere the bypass does not cover.
   if (error && error.response && error.response.data &&
       error.response.data.pending_migration_error) {
-    _showMigrationBanner();
+    _setPendingMigration(true);
+  } else if (error && error.response) {
+    _notePendingMigrationHeader(error.response);
   }
   return Promise.reject(error);
 });
@@ -242,9 +233,17 @@ var FileService = (function () {
   // Multipart import of files dragged in from outside the browser. The
   // default 30 s axios timeout is too tight for a large drop on a slow disk,
   // so this one call gets a longer leash.
-  function importFiles(formData) {
+  // onProgress(percentOrNull) fires as the body uploads, then once more with
+  // null when the bytes are away and the server is still writing. A big drop
+  // on a slow link otherwise sits on one static message long enough to look
+  // like it has hung.
+  function importFiles(formData, onProgress) {
     return axios.post(window.mbeditorBasePath() + '/import', formData, {
-      timeout: 120000
+      timeout: 120000,
+      onUploadProgress: onProgress ? function (e) {
+        var done = e.loaded === e.total;
+        onProgress(!done && e.total ? Math.round((e.loaded / e.total) * 100) : null);
+      } : undefined
     }).then(function (res) { return res.data; });
   }
 

data/app/assets/javascripts/mbeditor/git_service.js

@@ -1,3 +1,10 @@
+// Git's seven unmerged porcelain codes. Defined here because git_service.js
+// loads before both consumers (GitPanel's status badges and the status bar's
+// conflict chip) and one list is the point: testing the first character
+// instead reads AA as "added" and DD as "deleted", so four of the seven
+// conflicts get mislabelled.
+window.MBEDITOR_UNMERGED_STATUSES = { DD: 1, AU: 1, UD: 1, UA: 1, DU: 1, AA: 1, UU: 1 };
+
 var GitService = (function () {
   function applyGitInfo(data) {
     var files = data.workingTree || data.files || [];
@@ -71,6 +78,7 @@ var GitService = (function () {
   // unreachable rather than failing over and over in the console.
   function fetchStatusLite(opts) {
     var cfg = (opts && opts.background) ? { mbeditorBackground: true } : {};
+    var startedAt = Date.now();
     return axios.get(window.mbeditorBasePath() + '/git_status', cfg)
       .then(function(res) {
         var data = res.data;
@@ -79,6 +87,8 @@ var GitService = (function () {
         var st = EditorStore.getState();
         var prevInfo = st.gitInfo;
         var files = data.files || [];
+        var audit = window.MbeditorAudit;
+        if (audit) audit.rec(audit.EV.GIT_POLL, Date.now() - startedAt, files.length);
         var gitSig = function(arr) { return arr.map(function(f) { return f.path + '\x00' + f.status; }).join('\x01'); };
         var branchChanged = (data.branch || "") !== (st.gitBranch || "");
         var treeChanged = gitSig(files) !== gitSig(st.gitFiles || []);
@@ -123,7 +133,11 @@ var GitService = (function () {
 
         return data;
       })
-      .catch(function () {}); // transient poll errors retry on the next tick
+      .catch(function () {
+        // transient poll errors retry on the next tick
+        var audit = window.MbeditorAudit;
+        if (audit) audit.rec(audit.EV.ERR, audit.EV.GIT_POLL);
+      });
   }
 
   function fetchStatus() {

data/app/assets/javascripts/mbeditor/history_service.js

@@ -13,6 +13,10 @@ var HistoryService = (function () {
   var _idleTimers = {};
 
   var IDLE_MS = 30000;
+  // Server-side history format. 2 means tracking starts after the file load, so
+  // the load is the base rather than an insert-at-origin op (see #92/#93). The
+  // server uses this to tell a legacy payload from a current one.
+  var FORMAT_VERSION = 2;
 
   function _key(branch, filePath) {
     return branch + ':' + filePath;
@@ -40,16 +44,6 @@ var HistoryService = (function () {
     }
   }
 
-  function stopTracking(filePath) {
-    var rec = _tracking[filePath];
-    if (!rec) return;
-    var k = _key(rec.branch, filePath);
-    clearTimeout(_idleTimers[k]);
-    delete _idleTimers[k];
-    flush(rec.branch, filePath);
-    delete _tracking[filePath];
-  }
-
   function setReplayInProgress(filePath, inProgress) {
     if (inProgress) {
       _replayingPaths[filePath] = true;
@@ -86,7 +80,7 @@ var HistoryService = (function () {
     clearTimeout(_idleTimers[k]);
     delete _idleTimers[k];
 
-    var body = { branch: branch, path: filePath, ops: ops };
+    var body = { branch: branch, path: filePath, ops: ops, v: FORMAT_VERSION };
     if (_bases.hasOwnProperty(k)) {
       body.base = _bases[k];
       delete _bases[k];
@@ -161,10 +155,8 @@ var HistoryService = (function () {
   return {
     beginTracking:       beginTracking,
     resumeTracking:      resumeTracking,
-    stopTracking:        stopTracking,
     setReplayInProgress: setReplayInProgress,
     recordOps:           recordOps,
-    flush:               flush,
     flushAll:            flushAll,
     flushForPath:        flushForPath,
     fetchHistory:        fetchHistory

data/app/assets/javascripts/mbeditor/search_service.js

@@ -145,6 +145,7 @@ var SearchService = (function () {
     var controller = new AbortController();
     _searchController = controller;
 
+    var startedAt = Date.now();
     return axios.get(window.mbeditorBasePath() + '/search', {
       params: { q: query, offset: off, limit: lim, regex: useRegex ? 'true' : 'false', match_case: matchCase ? 'true' : 'false', whole_word: wholeWord ? 'true' : 'false' },
       signal: controller.signal
@@ -155,6 +156,12 @@ var SearchService = (function () {
         var hasMore    = !Array.isArray(data) && !!(data && data.has_more);
         var totalCount = (data && data.total_count != null) ? data.total_count : null;
 
+        var audit = window.MbeditorAudit;
+        if (audit) {
+          audit.rec(audit.EV.SEARCH, audit.code('searchBackend', window.MBEDITOR_SEARCH_BACKEND),
+                    Date.now() - startedAt, results.length);
+        }
+
         var payload = { results: results, hasMore: hasMore, totalCount: totalCount };
         _cacheSet(key, payload);
 
@@ -170,6 +177,8 @@ var SearchService = (function () {
         if (axios.isCancel(err) || (err && err.name === 'CanceledError')) {
           return { results: [], hasMore: false, totalCount: null };
         }
+        var audit = window.MbeditorAudit;
+        if (audit) audit.rec(audit.EV.ERR, audit.EV.SEARCH);
         EditorStore.setStatus("Search failed: " + err.message, "error");
         return { results: [], hasMore: false, totalCount: null };
       });

data/app/assets/javascripts/mbeditor/tab_manager.js

@@ -145,10 +145,12 @@ var TabManager = (function () {
     });
   }
 
-  // Single slot holding "where the cursor was before the last jump".
-  // PageUp/PageDown swap the cursor between this slot and its current spot.
-  // ponytail: two-position cycle, upgrade to a real back/forward stack if asked
-  var _jumpOrigin = null;
+  // Back/forward navigation history: every real jump or file change pushes
+  // an entry; PageUp/PageDown walk it like browser back/forward.
+  var _navStack = [];
+  var _navIndex = -1;
+  var _navigating = false;
+  var NAV_STACK_MAX = 50;
 
   function _snapshotPosition() {
     var editor = window.__mbeditorActiveEditor;
@@ -161,19 +163,40 @@ var TabManager = (function () {
     return { path: tab.path, name: tab.name, line: pos.lineNumber, col: pos.column };
   }
 
-  function toggleJumpOrigin() {
-    var target = _jumpOrigin;
-    if (!target) return;
-    // openTab re-snapshots the current position into _jumpOrigin below,
-    // which is exactly the swap we want.
-    openTab(target.path, target.name, target.line, null, false, target.col);
-  }
+  // Truncates any forward entries, then pushes. Skips a push that would
+  // duplicate the current top entry's path+line, and is a no-op entirely
+  // while a navigateBack/navigateForward-driven openTab is replaying.
+  function _pushNavEntry(entry) {
+    if (_navigating || !entry || !entry.path) return;
+    if (_navIndex > -1) _navStack = _navStack.slice(0, _navIndex + 1);
+    var top = _navStack[_navStack.length - 1];
+    if (top && top.path === entry.path && top.line === entry.line) return;
+    _navStack.push(entry);
+    if (_navStack.length > NAV_STACK_MAX) _navStack.shift();
+    _navIndex = _navStack.length - 1;
+  }
+
+  // Refreshing the entry we are leaving from the live cursor is what makes
+  // going back land where you actually were, not where the entry was created.
+  function _navigate(step) {
+    var next = _navIndex + step;
+    if (_navIndex < 0 || next < 0 || next >= _navStack.length) return;
+    var live = _snapshotPosition();
+    if (live) _navStack[_navIndex] = live;
+    _navIndex = next;
+    var target = _navStack[next];
+    _navigating = true;
+    try { openTab(target.path, target.name, target.line, null, false, target.col); }
+    finally { _navigating = false; }
+  }
+
+  function navigateBack() { _navigate(-1); }
+  function navigateForward() { _navigate(1); }
 
   // col/endCol are the 1-based bounds of the thing being jumped to. Pass both
   // and the editor selects it, leaving the cursor at its end; pass col alone
   // and it just parks the cursor there.
   function openTab(path, name, line, forcePaneId, isSoftOpen, col, endCol) {
-    if (line) _jumpOrigin = _snapshotPosition() || _jumpOrigin;
     var state = EditorStore.getState();
     var paneId = forcePaneId || state.focusedPaneId;
     var pane = state.panes.find(function(p) { return p.id === paneId; });
@@ -189,13 +212,14 @@ var TabManager = (function () {
 
     if (!pane) return;
 
+    _pushNavEntry({ path: path, name: name, line: line || null, col: col || null });
     _recordRecentFile(path, name);
 
     var existing = pane.tabs.find(function(t) { return t.path === path; });
 
     if (existing) {
       if (line) _updateTab(paneId, path, { gotoLine: line, gotoCol: col || null, gotoEndCol: endCol || null });
-      switchTab(paneId, path);
+      _switchTab(paneId, path);
       if (_isMarkdownPath(path)) {
         _ensureMarkdownPreview(paneId, path, existing.name || name, existing.content || "");
       }
@@ -230,6 +254,7 @@ var TabManager = (function () {
     });
 
     EditorStore.setState({ panes: newPanes, focusedPaneId: paneId, activeTabId: path });
+    _promoteMru(paneId, path);
 
     // Virtual paths (diff://, combined-diff://) should never hit the file endpoint
     if (path.indexOf('diff://') === 0 || path.indexOf('combined-diff://') === 0) {
@@ -237,6 +262,7 @@ var TabManager = (function () {
     }
 
     // Use a prefetched result if available (hover-prefetch hit), otherwise fetch normally.
+    var startedAt = Date.now();
     var prefetchPromise = FileService.getPrefetched(path);
     var filePromise = prefetchPromise || FileService.getFile(path, { allowMissing: true });
 
@@ -249,6 +275,11 @@ var TabManager = (function () {
       if (!data) { closeTab(paneId, path); return; }
       var loadedContent = typeof data.content === 'string' ? data.content : "";
       var fileNotFound = data && data.missing === true;
+      var audit = window.MbeditorAudit;
+      if (audit) {
+        audit.rec(audit.EV.OPEN, audit.code('ext', String(path).split('.').pop().toLowerCase()),
+                  loadedContent.length, Date.now() - startedAt);
+      }
       _updateTab(paneId, path, {
         content: loadedContent,
         cleanContent: loadedContent,
@@ -263,6 +294,8 @@ var TabManager = (function () {
         _syncMarkdownPreviewContent(path, typeof data.content === 'string' ? data.content : "");
       }
     }).catch(function(err) {
+      var audit = window.MbeditorAudit;
+      if (audit) audit.rec(audit.EV.ERR, audit.EV.OPEN);
       if (path.startsWith('diff://')) return; // diff tabs handle their own loading
       if (err.response && err.response.status === 413) {
         FileService.getFileChunk(path, 0, 500).then(function(data) {
@@ -426,18 +459,34 @@ var TabManager = (function () {
     if (typeof HistoryService !== 'undefined') {
       HistoryService.flushForPath(path);
     }
+    _removeMru(paneId, path);
     var state = EditorStore.getState();
+    // Closing a markdown source also closes its preview tab, wherever it lives.
+    // Guard against recursion: a preview tab has no preview of its own.
+    var closingPane = state.panes.find(function(p) { return p.id === paneId; });
+    var closingTab = closingPane && closingPane.tabs.find(function(t) { return t.id === path; });
+    var closePreviewsFor = (closingTab && !closingTab.isPreview) ? path : null;
+
     var newPanes = state.panes.map(function(pane) {
-      if (pane.id === paneId) {
-        // Match by t.id so diff tabs (id = 'diff://...') are closed correctly
-        var newTabs = pane.tabs.filter(function(t) { return t.id !== path; });
-        var newActive = pane.activeTabId;
-        if (pane.activeTabId === path) {
-          newActive = newTabs.length > 0 ? newTabs[newTabs.length - 1].id : null;
+      // Match by t.id so diff tabs (id = 'diff://...') are closed correctly
+      var newTabs = pane.tabs.filter(function(t) {
+        if (pane.id === paneId && t.id === path) return false;
+        if (closePreviewsFor && t.isPreview && t.previewFor === closePreviewsFor) return false;
+        return true;
+      });
+      if (newTabs.length === pane.tabs.length) return pane;
+
+      var newActive = pane.activeTabId;
+      if (!newTabs.some(function(t) { return t.id === newActive; })) {
+        // Reactivate the tab the user was actually last in, not just the rightmost one.
+        var mruList = _mru[pane.id] || [];
+        var mruPick = null;
+        for (var i = 0; i < mruList.length; i++) {
+          if (newTabs.some(function(t) { return t.id === mruList[i]; })) { mruPick = mruList[i]; break; }
         }
-        return Object.assign({}, pane, { tabs: newTabs, activeTabId: newActive });
+        newActive = mruPick || (newTabs.length > 0 ? newTabs[newTabs.length - 1].id : null);
       }
-      return pane;
+      return Object.assign({}, pane, { tabs: newTabs, activeTabId: newActive });
     });
 
     var nextFocusedPaneId = state.focusedPaneId;
@@ -497,7 +546,7 @@ var TabManager = (function () {
     if (!pane || pane.tabs.length === 0) return;
 
     pane.tabs.slice().forEach(function(tab) {
-      closeTab(paneId, tab.path);
+      closeTab(paneId, tab.id);
     });
   }
 
@@ -528,13 +577,43 @@ var TabManager = (function () {
     });
   }
 
-  function switchTab(paneId, path) {
+  // Most-recently-used tab ids per pane, most-recent first. Lets closeTab
+  // reactivate the tab the user was actually last in, not just the rightmost one.
+  var _mru = {};
+  var MRU_MAX = 20;
+
+  function _promoteMru(paneId, tabId) {
+    if (!tabId) return;
+    var list = _mru[paneId] || (_mru[paneId] = []);
+    var idx = list.indexOf(tabId);
+    if (idx !== -1) list.splice(idx, 1);
+    list.unshift(tabId);
+    if (list.length > MRU_MAX) list.length = MRU_MAX;
+  }
+
+  function _removeMru(paneId, tabId) {
+    var list = _mru[paneId];
+    if (!list) return;
+    var idx = list.indexOf(tabId);
+    if (idx !== -1) list.splice(idx, 1);
+  }
+
+  function _switchTab(paneId, path) {
     var state = EditorStore.getState();
     var newPanes = state.panes.map(function(p) {
       if (p.id === paneId) return Object.assign({}, p, { activeTabId: path });
       return p;
     });
     EditorStore.setState({ panes: newPanes, focusedPaneId: paneId, activeTabId: path });
+    _promoteMru(paneId, path);
+  }
+
+  function switchTab(paneId, path) {
+    _switchTab(paneId, path);
+    var state = EditorStore.getState();
+    var pane = state.panes.find(function(p) { return p.id === paneId; });
+    var tab = pane && pane.tabs.find(function(t) { return t.id === path; });
+    _pushNavEntry({ path: path, name: tab ? tab.name : null, line: null, col: null });
   }
 
   function focusPane(paneId) {
@@ -564,12 +643,12 @@ var TabManager = (function () {
   function _queueContent(paneId, path, content, updates, markdown) {
     var key = paneId + '' + path;
     if (updates) {
-      // A state transition has to land now, and it takes the content with it.
-      delete _pendingContent[key];
-      updates.content = content;
+      // A clean<->dirty transition must land now, but the full buffer is still
+      // materialized only on the trailing edge below. Callers pass a provider
+      // (a function) from the per-keystroke content listener so getValue() runs
+      // once per flush instead of once per keypress; everything else passes the
+      // string it already holds.
       _updateTab(paneId, path, updates);
-      if (markdown) _syncMarkdownPreviewContent(path, content);
-      return;
     }
     _pendingContent[key] = { paneId: paneId, path: path, content: content, markdown: markdown };
     if (_contentTimer === null) {
@@ -577,6 +656,13 @@ var TabManager = (function () {
     }
   }
 
+  // A pending content slot holds either a string or a provider invoked at flush
+  // time. A provider whose model has gone away returns nothing and is skipped.
+  function _resolveContent(content) {
+    if (typeof content !== 'function') return content;
+    try { return content(); } catch (e) { return null; }
+  }
+
   function flushContent() {
     if (_contentTimer !== null) {
       clearTimeout(_contentTimer);
@@ -586,8 +672,10 @@ var TabManager = (function () {
     _pendingContent = {};
     Object.keys(pending).forEach(function (k) {
       var p = pending[k];
-      _updateTab(p.paneId, p.path, { content: p.content });
-      if (p.markdown) _syncMarkdownPreviewContent(p.path, p.content);
+      var content = _resolveContent(p.content);
+      if (typeof content !== 'string') return;
+      _updateTab(p.paneId, p.path, { content: content });
+      if (p.markdown) _syncMarkdownPreviewContent(p.path, content);
     });
   }
 
@@ -617,24 +705,13 @@ var TabManager = (function () {
     _updateTab(paneId, path, { isSoftOpen: false });
   }
 
-  function saveTabViewState(paneIdOrPath, pathOrViewState, maybeViewState) {
-    var paneId = paneIdOrPath;
-    var path = pathOrViewState;
-    var viewState = maybeViewState;
-
-    // Backward-compatible signature: saveTabViewState(path, viewState)
-    if (typeof maybeViewState === 'undefined') {
-      var state = EditorStore.getState();
-      path = paneIdOrPath;
-      viewState = pathOrViewState;
-      var containingPane = state.panes.find(function(p) {
-        return p.tabs.some(function(t) { return t.path === path; });
-      });
-      if (!containingPane) return;
-      paneId = containingPane.id;
-    }
-
-    _updateTab(paneId, path, { viewState: viewState });
+  function saveTabViewState(path, viewState) {
+    var state = EditorStore.getState();
+    var containingPane = state.panes.find(function(p) {
+      return p.tabs.some(function(t) { return t.path === path; });
+    });
+    if (!containingPane) return;
+    _updateTab(containingPane.id, path, { viewState: viewState });
   }
 
   function reorderTabInPane(paneId, tabId, insertBeforeTabId) {
@@ -755,7 +832,8 @@ var TabManager = (function () {
     reorderTabInPane: reorderTabInPane,
     moveTabToPane: moveTabToPane,
     clearGotoLine: clearGotoLine,
-    toggleJumpOrigin: toggleJumpOrigin,
+    navigateBack: navigateBack,
+    navigateForward: navigateForward,
     closeAllTabsInPane: closeAllTabsInPane,
     closeOtherTabsInPane: closeOtherTabsInPane,
     closeSavedTabsInPane: closeSavedTabsInPane,

data/app/assets/javascripts/mbeditor/websocket_service.js

@@ -75,6 +75,17 @@ var WebSocketService = (function () {
     return window.ActionCable.createConsumer(_cableUrl());
   }
 
+  // Single consumer for both the EditorChannel and every CollaborationChannel.
+  // subscribeCollaboration used to mint its own consumer whenever _consumer was
+  // null (the state after a drop), and _attemptConnect then created a second one
+  // — the first socket was never disconnected, so every outage during which a
+  // file was opened leaked a WebSocket. Whoever asks first creates it; everyone
+  // else reuses it.
+  function _ensureConsumer() {
+    if (!_consumer) _consumer = _getConsumer();
+    return _consumer;
+  }
+
   function _cleanupConsumer() {
     if (_subscription) {
       try { _subscription.unsubscribe(); } catch (e) { /* ignore */ }
@@ -146,7 +157,7 @@ var WebSocketService = (function () {
     if (_status !== 'rejected') _status = 'connecting';
 
     try {
-      _consumer = _getConsumer();
+      _consumer = _ensureConsumer();
       _subscription = _consumer.subscriptions.create(
         { channel: 'Mbeditor::EditorChannel' },
         {
@@ -344,10 +355,7 @@ var WebSocketService = (function () {
     if (!isCableAvailable()) return null;
     handlers = handlers || {};
     try {
-      if (!_consumer) {
-        _consumer = _getConsumer();
-      }
-      return _consumer.subscriptions.create(
+      return _ensureConsumer().subscriptions.create(
         { channel: 'Mbeditor::CollaborationChannel', path: path },
         {
           connected: function () { if (handlers.connected) handlers.connected(); },

data/app/assets/stylesheets/mbeditor/application.css

@@ -2,6 +2,7 @@
  *= require pico.classless
  *= require mbeditor/themes
  *= require mbeditor/editor
+ *= require mbeditor/glass
  */
 
 /* ── Git & Code Review Styles ───────────────────────────────────────── */
@@ -641,7 +642,7 @@
 }
 .redmine-badge {
   background-color: var(--ide-accent);
-  color: var(--ide-accent-text);
+  color: var(--ide-on-accent);
   font-size: 10px;
   padding: 2px 6px;
   border-radius: 10px;
@@ -858,6 +859,10 @@
   .search-loading-spinner {
     animation-duration: 0.7s !important;
   }
+
+  .statusbar-offline {
+    animation: none;
+  }
 }
 
 .cdiff-ctx  { color: var(--ide-text-muted); }