.hgeol
author sheepluva
Mon, 21 Nov 2011 21:23:23 +0100
branch0.9.17
changeset 6408 58d0195ec76e
parent 3690 c247dee9e1c0
child 6500 c9eaf1dd16c8
permissions -rw-r--r--
this should fix the highlighting failz with non-lowercase player names like the one CheezeMonkey ran into. there is a workaround: in the user dir put the playername in <playerNameWithCorrectCase>_highlight.txt
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3505
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     1
[patterns]
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     2
**.h = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     3
**.c = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     4
**.cpp = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     5
**.lua = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     6
**.txt = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     7
**.pas = native
ada9f697eb11 Engine:
mario.liebisch
parents:
diff changeset
     8
**.inc = native