Ticket #2934: highlight OGV files as media.
authorAndrew Borodin <aborodin@vmail.ru>
Fri, 23 Nov 2012 10:20:04 +0000 (23 14:20 +0400)
committerAndrew Borodin <aborodin@vmail.ru>
Fri, 23 Nov 2012 10:20:04 +0000 (23 14:20 +0400)
Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
misc/filehighlight.ini

index b140f26..8bc1722 100644 (file)
@@ -37,7 +37,7 @@
     extensions=c;h;cc;hh;cpp;cxx;hpp;asm;py;pl;pm;inc;cgi;php;phps;js;java;jav;jasm;sh;bash;diff;patch;pas;tcl;tk;awk;m4;st;mak;sl;ada;caml;ml;mli;mly;mll;mlp;sas;prg;hs;hi;erl
 
 [media]
-    extensions=mp2;mp3;mpg;ogg;mpeg;wav;avi;asf;mov;mol;mpl;xm;mod;it;med;mid;midi;s3m;umx;vob;mkv;flv;mp4;m3u;flac;ape;wma;wmv;3gp;webm
+    extensions=mp2;mp3;mpg;ogg;ogv;mpeg;wav;avi;asf;mov;mol;mpl;xm;mod;it;med;mid;midi;s3m;umx;vob;mkv;flv;mp4;m3u;flac;ape;wma;wmv;3gp;webm
 
 [graph]
     extensions=jpg;jpeg;gif;png;tif;pcx;bmp;xpm;xbm;eps;pic;rle;ico;wmf;omf;ai;cdr