Längere History für SeaMonkeys Zurück-Button

Das Menü, das beim Rechtsklick auf SeaMonkeys Zurück-Button erscheint, ist auf 15 Einträge begrenzt. Das ist mir regelmäßig viel zu kurz - und nicht nur mir, wie sich aus dem mächtig alten Bug 62010 ergibt. Trotzdem hat sich da die ganze Zeit nichts wesentliches getan.

Eine der Lösungen ist, die Variable MAX_HISTORY_MENU_ITEMS in der Datei sessionHistoryUI.js von Hand hochzusetzen. Leider muß man dazu eine .jar-Datei entpacken - und außerdem diese Änderung nach jedem SeaMonkey-Update wiederholen. Viel einfacher ist es mit einem UserChrome-Binding, das in eine Datei im Profil kommt und damit auch Updates überlebt. Der folgende Eintrag gehört in die userChrome.css:

/* Zurück-Button-History verlängern, zusammen mit userChrome.xml */
 
  #main-window #stringbundleset
  {
    -moz-binding: url(userChrome.xml#userChromeBindingNavigator);
  }

Außerdem gehört dann noch die Datei userChrome.xml (speichern mit Shift+ Klick) in das gleiche Verzeichnis - SeaMonkey neu starten und sich über die längere History freuen, mit dieser Datei sind es 25 anstelle von 15 Einträge.

Das kann geändert werden, indem man die Zeile const NEW_MAX_HISTORY_MENU_ITEMS = 25; anpasst. Diese userChrome.xml enthält auch den Komfort-Scroll-Eintrag, der allerdings ohne obige Zeilen in der userChrome.css nicht aktiv wird.

Auch hier ein großes Dankeschön an Karsten Düsterloh!