diff options
author | Christian Hergert <christian@hergert.me> | 2021-12-19 03:24:17 +0000 |
---|---|---|
committer | Christian Hergert <christian@hergert.me> | 2021-12-19 03:24:43 +0000 |
commit | cf56f12a46c052c1d393d785bd7308004362368f (patch) | |
tree | 0fa982fb0137b0ee5fa8e5209078b48945f9f97e | |
parent | 3674348443c60c24947a550ba1d2ccfaa9e804a9 (diff) | |
download | gtksourceview-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.lang | 2 |
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> |