gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 00:38:00 +01:00
Code Issues Projects Releases Wiki Activity

Fix gF and so forth.

Browse Source
This commit is contained in:
Kris Maglione
2010-12-22 03:50:20 -05:00
parent 9b8ea86c09
commit 35a0917084
4 changed files with 39 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
common/content/editor.js
View File

@@ -241,12 +241,14 @@ const Editor = Module("editor", {
return -1;
},
editFileExternally: function (path, line, column, async) {
let args = options.get("editor").format({ file: path, line: line, column: column });
editFileExternally: function (args, blocking) {
if (!isObject(args))
args = { file: args };
let args = options.get("editor").format(args);
dactyl.assert(args.length >= 1, "No editor specified");
io.run(io.expandPath(args.shift()), args, !async);
io.run(io.expandPath(args.shift()), args, blocking);
},
// TODO: clean up with 2 functions for textboxes and currentEditor?
@@ -309,11 +311,10 @@ const Editor = Module("editor", {
}
}
let timer = services.Timer();
timer.initWithCallback({ notify: update }, 100, timer.TYPE_REPEATING_SLACK);
let timer = services.Timer(update, 100, services.Timer.TYPE_REPEATING_SLACK);
try {
this.editFileExternally(tmpfile.path, line, column);
this.editFileExternally({ file: tmpfile.path, line: line, column: column }, true);
}
finally {
timer.cancel();