Browse Source

[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.
Martin Fischer 3 years ago
parent
commit
d8af94b721
1 changed files with 1 additions and 1 deletions
  1. 1 1
      docs/conf.py

+ 1 - 1
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])
     )
 }