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

blink text box after editing with external editor

Browse Source
This commit is contained in:
Martin Stubenschrott
2007-10-23 14:01:09 +00:00
parent 2e408eb3f8
commit 37ff41b2a3
2 changed files with 22 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
content/editor.js
View File

@@ -336,14 +336,19 @@ vimperator.Editor = function() //{{{
args.push(tmpfile.path)
textBox.setAttribute("readonly", "true");
var oldBg = textBox.style.backgroundColor;
var tmpBg = "yellow";
textBox.style.backgroundColor = "#bbbbbb";
var newThread = Components.classes["@mozilla.org/thread-manager;1"].getService().newThread(0);
// TODO: save return value in v:shell_error
vimperator.callFunctionInThread(newThread, vimperator.run, [prog, args, true]);
textBox.removeAttribute("readonly");
// if (retcode != 0)
// if (v:shell_error != 0)
// {
// err("External editor returned with exit code " + retcode);
// tmpBg = "red";
// vimperator.echoerr("External editor returned with exit code " + retcode);
// }
// else
{
@@ -354,9 +359,24 @@ vimperator.Editor = function() //{{{
}
catch (e)
{
tmpBg = "red";
vimperator.echoerr("Could not read from temporary file " + tmpfile.path + ": " + e.message);
}
}
// blink the textbox after returning
var timeout = 100;
textBox.style.backgroundColor = tmpBg;
setTimeout( function() {
textBox.style.backgroundColor = oldBg;
setTimeout( function() {
textBox.style.backgroundColor = tmpBg;
setTimeout( function() {
textBox.style.backgroundColor = oldBg;
}, timeout);
}, timeout);
}, timeout);
tmpfile.remove(false);
}
} //}}}

1
content/options.js
View File

@@ -377,7 +377,6 @@ vimperator.Options = function() //{{{
// this hack is only needed, because we need to do asynchronous loading of the .vimperatorrc
this.setInitialGUI = function()
{
dump("initial GUI: ");// + guioptions_done + " - " + laststatus_done + " - " + tabline_done );
if (!guioptions_done)
this.get("guioptions").reset();
if (!laststatus_done)