Fix language selection in index #311

Merged

matthijskooijman merged 5 commits from Issue/310-Language-selection-in-index-broken into master

2020-08-10 13:21:51 +00:00

matthijskooijman commented

2020-05-11 17:18:08 +00:00

(Migrated from github.com)

This allows selecting the language in the index again, which is a part of #310.

This also has some refactoring to put the index generation code into its own datatype class (and some refactoring of the settings class, while I was there, even though not strictly related to this fix).

This allows selecting the language in the index again, which is a part of #310. This also has some refactoring to put the index generation code into its own datatype class (and some refactoring of the settings class, while I was there, even though not strictly related to this fix).

laurensmartina (Migrated from github.com) approved these changes

2020-08-03 14:44:24 +00:00

matthijskooijman commented

2020-08-10 13:21:45 +00:00

(Migrated from github.com)

Rebased on top of master, fixed one copy-paste error in a comment. Merging next.