The first commit roughly ports the mkindex.py to work with Python3 and regenerate the broken index.json (it got broken in #57 0c0a8c28bcd3479e472f6125f3362c679cfc895b).
The other commits fix older, already existing errors in themes which were not detected because make index was not used :(.
In the future, before merging PRs in this repository, the reviewer should take care that make index was executed or do it by himself/herself.
Also the AUTHORS file is not very well maintained.
PR creators and reviewers should carefully read ADDING-A-THEME.md before merging. Ideally, there would be a PR template to remind about this.
The first commit roughly ports the
mkindex.py
to work with Python3 and regenerate the brokenindex.json
(it got broken in #57 0c0a8c28bcd3479e472f6125f3362c679cfc895b).The broken
index.json
caused an error on the theme index page on the Geany website (https://www.geany.org/download/themes/).The other commits fix older, already existing errors in themes which were not detected because
make index
was not used :(.In the future, before merging PRs in this repository, the reviewer should take care that
make index
was executed or do it by himself/herself. Also theAUTHORS
file is not very well maintained.PR creators and reviewers should carefully read
ADDING-A-THEME.md
before merging. Ideally, there would be a PR template to remind about this.