Then let's keep it simple. When the command starts with !, it gets
priority. No modifications to configure.py or anything else.
Is this OK?
Joost
Index: format.C
===================================================================
--- format.C (revision 15338)
+++ format.C (working copy)
@@ -168,6 +168,10 @@
if (cmd.empty() || cmd == "none")
return string();
+ // is there a viewer that gets priority?
+ if (cmd.substr(0, 1) == "!")
+ return cmd.substr(1, cmd.length()); // strip the !
+
// Does the OS manage this format?
if (os::canAutoOpenFile(ext, mode))
return "auto";