[Pkg-mozext-commits] [greasemonkey] 03/55: Allow .cmd as editor executable
David Prévot
taffit at moszumanska.debian.org
Thu Oct 29 15:38:01 UTC 2015
This is an automated email from the git hooks/post-receive script.
taffit pushed a commit to branch master
in repository greasemonkey.
commit 510505accbfeedfdccb84b783d1ee1b7c0826dd3
Author: Jeroen van Warmerdam <jeronevw at hotmail.com>
Date: Sun Sep 13 10:51:16 2015 +0200
Allow .cmd as editor executable
---
modules/util/setEditor.js | 1 +
1 file changed, 1 insertion(+)
diff --git a/modules/util/setEditor.js b/modules/util/setEditor.js
index 8a5d63a..3506691 100644
--- a/modules/util/setEditor.js
+++ b/modules/util/setEditor.js
@@ -27,6 +27,7 @@ function setEditor(aScratchpad) {
filePicker.init(
GM_util.getBrowserWindow(), EDITOR_PROMPT, nsIFilePicker.modeOpen);
filePicker.appendFilters(nsIFilePicker.filterApps);
+ filePicker.appendFilter("*.cmd", "*.cmd");
var editor = GM_util.getEditor();
if (editor) {
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-mozext/greasemonkey.git
More information about the Pkg-mozext-commits
mailing list