gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-17 00:35:46 +01:00
Code Issues Projects Releases Wiki Activity

Add search to the MOW, skip search results in hidden nodes, and fix MOW sizing issues.

Browse Source
This commit is contained in:
Kris Maglione
2011-10-01 18:03:48 -04:00
parent cbbb3de86f
commit d14e57ee9a
5 changed files with 34 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/content/buffer.js
View File

@@ -275,7 +275,7 @@ var Buffer = Module("buffer", {
*/
get localStore() {
let doc = content.document;
let store = overlay.getData(doc, "buffer");
let store = overlay.getData(doc, "buffer", null);
if (!store || !buffer.localStorePrototype.isPrototypeOf(store))
store = overlay.setData(doc, "buffer", Object.create(buffer.localStorePrototype));
return store.instance = store;

5
common/content/commandline.js
View File

@@ -153,6 +153,8 @@ var CommandWidgets = Class("CommandWidgets", {
}
});
this.updateVisibility();
this.initialized = true;
},
addElement: function addElement(obj) {
const self = this;
@@ -250,6 +252,9 @@ var CommandWidgets = Class("CommandWidgets", {
Array.forEach(node.children, check);
}
[this.commandbar.container, this.statusbar.container].forEach(check);
if (this.initialized && loaded.mow && mow.visible)
mow.resize(false);
},
active: Class.Memoize(Object),

9
common/content/mow.js
View File

@@ -103,12 +103,15 @@ var MOW = Module("mow", {
if (modes.main != modes.OUTPUT_MULTILINE) {
modes.push(modes.OUTPUT_MULTILINE, null, {
onKeyPress: this.closure.onKeyPress,
leave: this.closure(function leave(stack) {
if (stack.pop)
for (let message in values(this.messages))
if (message.leave)
message.leave(stack);
})
}),
window: this.window
});
this.messages = [];
}
@@ -241,12 +244,14 @@ var MOW = Module("mow", {
let doc = this.widget.contentDocument;
let availableHeight = config.outputHeight;
let trim = Math.max(0, DOM("#" + config.ids.commandContainer, document).rect.bottom - window.innerHeight);
let availableHeight = config.outputHeight - trim;
if (this.visible)
availableHeight += parseFloat(this.widgets.mowContainer.height || 0);
availableHeight -= extra || 0;
doc.body.style.minWidth = this.widgets.commandbar.commandline.scrollWidth + "px";
this.widgets.mowContainer.height = Math.min(doc.body.clientHeight, availableHeight) + "px";
this.timeout(function ()
this.widgets.mowContainer.height = Math.min(doc.body.clientHeight, availableHeight) + "px",