diff options
author | Christian Duerr <chrisduerr@users.noreply.github.com> | 2018-09-22 02:46:41 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-22 02:46:41 +0000 |
commit | cee35b309de129f16d4c9df80172e43f5320c82a (patch) | |
tree | ae33942a9d44d0f8aa6565448f1fde42be3fd0c9 /src/display.rs | |
parent | 6cfd7aea82ea57d7808cffd36997d0deec55749f (diff) | |
download | alacritty-cee35b309de129f16d4c9df80172e43f5320c82a.tar.gz alacritty-cee35b309de129f16d4c9df80172e43f5320c82a.zip |
Unify configuration file structure
This changes a lot of small details in the configuration file in an
attempt to unify its structure. These are some main guidelines used for
this refactoring:
- Specify that changes require restart consistently
- Unify the specification of available field values
- Provide clear distinction between description title and body
Besides these guidelines used to unify minor details in the
configuration file, the section on key configuration has been completely
reworked in an attempt to reduce the amount of text used. This should
make it possible to understand what's going on without having to read
any text.
The notice that modifiers are not supported has been removed from the
mouse binding documentation.
Diffstat (limited to 'src/display.rs')
0 files changed, 0 insertions, 0 deletions