diff options
| author | Eduardo Pedroni <e.pedroni91@gmail.com> | 2017-01-27 08:32:58 +0100 |
|---|---|---|
| committer | Eduardo Pedroni <e.pedroni91@gmail.com> | 2017-01-27 08:32:58 +0100 |
| commit | e793093be40e84625ca0d806cd6058bb33d73b17 (patch) | |
| tree | 90f51b16c05c3b46709ce3297e6069bfddef1284 | |
| parent | d31f1337c252a65f3b33e7d74cdbda14547ae39f (diff) | |
Added flashcard syntax highlighting for gedit
| -rw-r--r-- | flashcard.lang | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/flashcard.lang b/flashcard.lang new file mode 100644 index 0000000..dd113b4 --- /dev/null +++ b/flashcard.lang @@ -0,0 +1,21 @@ +<?xml version="1.0" encoding="UTF-8"?> +<language id="flashcard" _name="Flashcard" version="2.0" _section="Markup"> + <metadata> + <property name="mimetypes">text/plain</property> + <property name="globs">*.</property> + </metadata> + + <styles> + <style id="card_front" _name="card header" map-to="def:type" /> + </styles> + <definitions> + <context id="flashcard"> + <include> + <context id="card_front" style-ref="card_front"> + <start>CARD:</start> + <end>$</end> + </context> + </include> + </context> + </definitions> +</language> |