diff options
| author | Martin Fischer <martin@push-f.com> | 2021-12-28 12:39:26 +0100 |
|---|---|---|
| committer | Martin Fischer <martin@push-f.com> | 2022-01-03 07:01:49 +0100 |
| commit | d8af94b7212b7825296117c661f04bfe4129bc99 (patch) | |
| tree | 14517ca171aa559eff4631793cb3207bc4b5c6e3 /docs | |
| parent | df34b1ddcf02651ea0eae273baca6f340caad84e (diff) | |
[doc] engine-table: stop sorting by Disabled
It's only the default value for disabled it's not that important,
since users can easily toggle it anytime in the engine preferences.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 628687b6a..d4fc50735 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -54,7 +54,7 @@ jinja_filters = { 'sort_engines': lambda engines: sorted( engines, - key=lambda engine: (engine[1].disabled, engine[1].about.get('language', ''), engine[0]) + key=lambda engine: (engine[1].about.get('language', ''), engine[0]) ) } |