Paul Davis
|
d67e7cd222
|
remove some preference metadata related to removed options
|
2023-10-07 13:14:39 -06:00 |
Paul Davis
|
a38a4954a7
|
add a few new configuration params/preferences to the metadata list
Technically this breaks our string freeze, but only for searching preferences, not
for text displayed in the GUI
|
2023-09-24 07:52:18 -06:00 |
Robin Gareus
|
cb78043adc
|
Indicate selection extents in time ruler
|
2023-05-17 01:53:40 +02:00 |
Robin Gareus
|
d82ece39e1
|
Add Editor preference to snap to playhead position.
|
2023-04-29 00:40:06 +02:00 |
Paul Davis
|
adb6467427
|
midi clock: move incoming BPM quantize option and add tooltip
|
2023-02-23 12:15:51 -07:00 |
luzpaz
|
44a869732c
|
Fix various typos
Found via `codespell`
|
2023-02-20 17:35:24 -07:00 |
Paul Davis
|
9107c6d70c
|
lots more preferences metadata
|
2023-02-14 10:15:06 -07:00 |
Paul Davis
|
72bc6ac43d
|
some edits for preferences metadata
|
2023-02-14 10:13:26 -07:00 |
Paul Davis
|
2756be4b62
|
add an option to control the maximum MIDI note height (not yet GUI exposed)
|
2023-02-05 11:36:24 -07:00 |
Paul Davis
|
38b3e88582
|
more preferences metadata
|
2023-02-05 10:57:47 -07:00 |
Paul Davis
|
e446e4c501
|
more preferences metadata
|
2023-02-05 10:41:03 -07:00 |
Robin Gareus
|
c707b056af
|
Add some preference search tags
|
2023-02-04 06:58:02 +01:00 |
Paul Davis
|
160ed4d056
|
tweak generation process for preferences metadata and start adding some
|
2023-02-01 18:14:33 -07:00 |
Paul Davis
|
233baeb521
|
add comments to preferences-metadata describing the file
|
2023-01-27 15:26:02 -07:00 |
Paul Davis
|
13251dd571
|
add session prefs metadata
|
2023-01-27 15:13:27 -07:00 |
Paul Davis
|
125421f686
|
new files for preference metadata handling
|
2023-01-27 15:13:27 -07:00 |