summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Hergert <christian@hergert.me>2021-12-19 03:24:17 +0000
committerChristian Hergert <christian@hergert.me>2021-12-19 03:24:43 +0000
commitcf56f12a46c052c1d393d785bd7308004362368f (patch)
tree0fa982fb0137b0ee5fa8e5209078b48945f9f97e
parent3674348443c60c24947a550ba1d2ccfaa9e804a9 (diff)
downloadgtksourceview-cf56f12a46c052c1d393d785bd7308004362368f.tar.gz
Merge branch 'wip/andyholmes/add-pyi-highlighting' into 'master'
python3.lang: add *.pyi to the list of extensions for Python3 See merge request GNOME/gtksourceview!234 (cherry picked from commit 372ff709078d0609b2aa084bd827490ee44ce6bb) f384fa35 python3.lang: add *.pyi to the list of extensions for Python3
-rw-r--r--data/language-specs/python3.lang2
1 files changed, 1 insertions, 1 deletions
diff --git a/data/language-specs/python3.lang b/data/language-specs/python3.lang
index a7655194..630302c9 100644
--- a/data/language-specs/python3.lang
+++ b/data/language-specs/python3.lang
@@ -23,7 +23,7 @@
<language id="python3" name="Python" version="2.0" _section="Script">
<metadata>
<property name="mimetypes">text/x-python;application/x-python;text/x-python3</property>
- <property name="globs">*.py;*.py3</property>
+ <property name="globs">*.py;*.py3;*.pyi</property>
<property name="line-comment-start">#</property>
</metadata>