Reported from live use.
The settings drawer occludes the gutter, so a setting like gutter dimming can not be evaluated while changing it. Configuring something you can not see is a design failure, not a preference.
Options raised
- Move the drawer out of the way of whatever the focused setting affects
- Replace the drawer with a modal dialog
- Split the screen vertically and host settings in their own buffer on one side, leaving a live editor visible on the other
Option 3 is the most interesting and the largest; it also makes settings a normal buffer rather than a bespoke surface.
Acceptance
- Every setting can be observed taking effect while it is being changed
- Whatever the chosen shape, it is recorded as a design decision rather than an incidental layout change
Reported from live use.
The settings drawer occludes the gutter, so a setting like gutter dimming can not be evaluated while changing it. Configuring something you can not see is a design failure, not a preference.
Options raised
Option 3 is the most interesting and the largest; it also makes settings a normal buffer rather than a bespoke surface.
Acceptance