zulip/zerver/openapi
Raghav Luthra 4dad9fa158 user_settings: Add user setting to control the user list style.
Added a user_list_style personal user setting to the bottom of
Settings > Display settings > Theme section which controls the look
of the right sidebar user list.

The radio button UI includes a preview of what the styles look like.

The setting is intended to eventually have 3 possible values: COMPACT,
WITH_STATUS and WITH_AVATAR; the final value is not yet implemented.

Co-authored-by: Tim Abbott <tabbott@zulip.com>
2022-09-09 16:30:54 -07:00
..
__init__.py openapi: Add missing __init__.py; fix type errors hidden by its absence. 2021-07-05 12:20:39 -07:00
curl_param_value_generators.py realm: Create RealmAuditLog entry when adding realm linkifiers. 2022-07-31 18:32:28 -07:00
javascript_examples.js eslint: Fix unicorn/no-new-array. 2021-01-25 14:53:19 -08:00
javascript_examples.py python: Replace universal_newlines with text. 2022-01-23 22:16:01 -08:00
markdown_extension.py openapi: Move endpoint URL to generator. 2022-07-22 16:41:55 -07:00
openapi.py docs: Fix many spelling mistakes. 2022-02-07 18:51:06 -08:00
python_examples.py typing: Remove FuncT. 2022-08-22 15:46:16 -07:00
test_curl_examples.py python: Replace universal_newlines with text. 2022-01-23 22:16:01 -08:00
testing.yaml test_openapi: Make testing.yml a full conformant specification. 2022-01-13 14:34:11 -08:00
zulip.yaml user_settings: Add user setting to control the user list style. 2022-09-09 16:30:54 -07:00