mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-29 22:27:13 +09:00
Add scrollmargin option, rename scrollSpeed to scrollspeed for consistency, make help.md more consistent (replaced some spaces with tabs)
This commit is contained in:
@@ -149,7 +149,8 @@ func HandleCommand(input string, view *View) {
|
||||
if strings.Contains(flags, "c") {
|
||||
// The 'check' flag was used
|
||||
Search(search, view, true)
|
||||
view.Relocate(0)
|
||||
scrollmargin := int(settings["scrollmargin"].(float64))
|
||||
view.Relocate(scrollmargin)
|
||||
Redraw(view)
|
||||
choice, canceled := messenger.YesNoPrompt("Perform replacement? (y,n)")
|
||||
if canceled {
|
||||
|
||||
Reference in New Issue
Block a user