> Don't know. First I've heard of such a problem. Make use of
> bugs.conkeror.org pls.
Will do. Thanks. Also, would the following function be considered too
trivial for the Tips page? (It wasn't trivial for me, but I got help
from the excellent WritingCommands page.)
interactive("load-file",
"loads an initialization file",
function(I) {
filename= (yield I.minibuffer.read($prompt = "file name: "));
I.window.minibuffer.message("loaded file "+filename);
load(make_file(filename));
}
);
Best wishes,
Silvio
_______________________________________________
Conkeror mailing list
Conkeror@mozdev.org
https://www.mozdev.org/mailman/listinfo/conkeror
