We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent aa6c670 commit 686e538Copy full SHA for 686e538
CHANGELOG.md
@@ -53,6 +53,12 @@
53
storage and management, which makes the overall interaction
54
between UI and core code much more robust (12.0.0-alpha.11)
55
56
+## 12.0.0-alpha.12
57
+
58
+- Made resetting of search result selection and content view offset less aggressive
59
60
+ - Some changes in 12.0.0-alpha.11 caused some UI counters to reset more frequently than desired
61
62
## 12.0.0-alpha.11
63
64
- Removed disabling of drop mode key binding `d` when searching or filtering is ongoing
bin/version_string.ml
@@ -1 +1 @@
1
-let s = "12.0.0-alpha.11"
+let s = "12.0.0-alpha.12"
0 commit comments