oleh/astrolabe
1
0
Fork 0
mirror of https://github.com/olehomelchenko/astrolabe.git synced 2026-08-08 02:02:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Format entire codebase with Prettier (mechanical, no behavior change)

Browse Source
This commit is contained in:
Oleh Omelchenko
2026-06-05 01:43:28 +03:00
parent 939950b136
commit 0c7297624e
32 changed files with 1597 additions and 832 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/spec/07-settings.md
+23 -23
View File
@@ -15,9 +15,9 @@ Astrolabe provides a **Settings** modal where users tune appearance, the spec ed
Controls the overall UI theme. Choosing the Dark theme switches the whole application chrome to a dark presentation.
| Setting | Options | Default |
| -------- | ------------- | ------- |
| UI theme | Light, Dark | Light |
| Setting | Options | Default |
| -------- | ----------- | ------- |
| UI theme | Light, Dark | Light |
The UI theme is also exposed as a **header toggle** for one-click switching; it
reads and writes the same persisted `ui.theme` value as this Appearance control,
@@ -25,16 +25,16 @@ so the two always agree. (The toggle shipped in M1.5, ahead of this modal.)
### Editor
These settings configure the spec editor used to edit Vega-Lite specs (see *Spec Editor & Draft/Published Workflow*). They take effect in the editing surface for the snippet spec.
These settings configure the spec editor used to edit Vega-Lite specs (see _Spec Editor & Draft/Published Workflow_). They take effect in the editing surface for the snippet spec.
| Setting | Options / Range | Default |
| ------------- | ------------------------------------- | -------- |
| Font size | 10–18 px (integer) | 12 px |
| Editor theme | Auto + explicit overrides (provisional — see note) | Auto |
| Minimap | On / Off | Off |
| Word wrap | On / Off | On |
| Line numbers | On / Off | On |
| Tab size | Integer number of spaces | 2 |
| Setting | Options / Range | Default |
| ------------ | -------------------------------------------------- | ------- |
| Font size | 10–18 px (integer) | 12 px |
| Editor theme | Auto + explicit overrides (provisional — see note) | Auto |
| Minimap | On / Off | Off |
| Word wrap | On / Off | On |
| Line numbers | On / Off | On |
| Tab size | Integer number of spaces | 2 |
- Font size is chosen along a 10–18 range; the current value is shown alongside the control.
- Editor theme controls the syntax/color presentation inside the editor. **Provisional (to be finalized as we implement the editor):** the default is **Auto**, which derives the editor theme from the app UI theme (light app theme → light editor theme, dark → dark), using custom Monaco themes that match the app chrome. The user may override Auto with an explicit editor theme; the exact override list (custom themes, and whether to include High Contrast or the stock Monaco themes) is deferred. Stored as `editor.theme` with an `'auto'` sentinel for the follow-the-app default.
@@ -45,22 +45,22 @@ These settings configure the spec editor used to edit Vega-Lite specs (see *Spec
### Performance
| Setting | Range | Default |
| --------------- | -------------------- | -------- |
| Render debounce | 500–5000 ms | 1500 ms |
| Setting | Range | Default |
| --------------- | ----------- | ------- |
| Render debounce | 500–5000 ms | 1500 ms |
- Render debounce is the delay after the user stops typing before the preview re-renders (see *Live Preview*).
- Render debounce is the delay after the user stops typing before the preview re-renders (see _Live Preview_).
- Tradeoff: a lower value makes the preview feel snappier and more immediate but re-renders more often and uses more CPU; a higher value keeps the app calmer and lighter but makes the preview feel laggier behind the spec.
- The current value is shown alongside the control.
### Formatting
Governs how dates are rendered throughout the app, for example the timestamps shown in the *Snippet Library* list.
Governs how dates are rendered throughout the app, for example the timestamps shown in the _Snippet Library_ list.
| Setting | Options | Default |
| ------------------- | ----------------------------------------- | ------- |
| Date format | Smart, ISO 8601, Custom | Smart |
| Custom date format | Free-text format string | (empty) |
| Setting | Options | Default |
| ------------------ | ----------------------- | ------- |
| Date format | Smart, ISO 8601, Custom | Smart |
| Custom date format | Free-text format string | (empty) |
- **Smart**: relative, human-friendly rendering (e.g. "Today", "Yesterday", "3d ago", falling back to a full date for older items).
- **ISO 8601**: a full ISO 8601 timestamp.
@@ -71,8 +71,8 @@ Governs how dates are rendered throughout the app, for example the timestamps sh
The following preferences also persist locally across sessions but are managed outside this modal and are documented in their own sections:
- **Preview fit mode** — how the preview is sized/fit; see *Live Preview*.
- **Snippet sort preference** — the snippet list's sort field and direction; see *Snippet Library*.
- **Preview fit mode** — how the preview is sized/fit; see _Live Preview_.
- **Snippet sort preference** — the snippet list's sort field and direction; see _Snippet Library_.
## Behaviors