a6e2e0d24a
This PR fixes a small typo on the onboarding editing page where it should be "Minimap" instead of "Mini Map" Release Notes: - N/A |
||
|---|---|---|
| .. | ||
| ai_setup_page.rs | ||
| base_keymap_picker.rs | ||
| basics_page.rs | ||
| editing_page.rs | ||
| multibuffer_hint.rs | ||
| onboarding.rs | ||
| theme_preview.rs | ||
| welcome.rs | ||