diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-30 11:22:41 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-10-01 00:12:17 -0300 |
| commit | fda2f546f66d0bb1b30da0ef6aae77fe82803b1c (patch) | |
| tree | af7f00651672075e048d2c63e1a5bfe09f754202 /docs/cloud9.md | |
| parent | c820afd8601ef14fda651c63f542476e12adcf11 (diff) | |
| download | pardes-fda2f546f66d0bb1b30da0ef6aae77fe82803b1c.tar.gz pardes-fda2f546f66d0bb1b30da0ef6aae77fe82803b1c.zip | |
DumpConfig prints each setting as the ctl word that sets it, reads unsupported for one the frontend lacks, and includes LocationsConfig
The report meant to be feedable back as configuration, but several lines
were not. Shell and Font each took three to six lines of "requested",
"effective" and "pending". The transition read "Panel transition
PanelSlide", with no Panel word. WindowOpacity and TaglineSize carried
"(pending)" and "(build-time only)". A GUI-only toggle such as Ligatures was
left out on the tty, and LocationsConfig was missing altogether.
Now every line up to a blank one is a word and its value:
- Shell <path>;
- Font <name>:<size>;
- one on/off line for each Panel word;
- `unsupported` for a setting this frontend does not have;
- LocationsConfig as it would be typed.
After the blank line comes what is in effect but set by no word, phrased so
that none of it starts with a ctl word. The test checks that each line
before the blank one starts with a setting word. The GUI scripts that read
the font lines (font_size.py, appearance_gallery.py) now read the new ones.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Diffstat (limited to 'docs/cloud9.md')
0 files changed, 0 insertions, 0 deletions
