mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-16 22:07:09 +09:00
This adds the `savecursor` option which will remember where the cursor was when the file was closed and put it back when the file is opened again. The option is off by default so that people aren't confused as to why the cursor isn't at the start of a file when they open it. This commit also adds a more general ability to serialize a buffer so various components can be saved (which could also be useful for persistent undo). Fixes #107
139 lines
3.3 KiB
Go
139 lines
3.3 KiB
Go
package main
|
|
|
|
import (
|
|
"encoding/json"
|
|
"io/ioutil"
|
|
"os"
|
|
"reflect"
|
|
"strconv"
|
|
"strings"
|
|
)
|
|
|
|
// The options that the user can set
|
|
var settings map[string]interface{}
|
|
|
|
// InitSettings initializes the options map and sets all options to their default values
|
|
func InitSettings() {
|
|
defaults := DefaultSettings()
|
|
var parsed map[string]interface{}
|
|
|
|
filename := configDir + "/settings.json"
|
|
if _, e := os.Stat(filename); e == nil {
|
|
input, err := ioutil.ReadFile(filename)
|
|
if err != nil {
|
|
TermMessage("Error reading settings.json file: " + err.Error())
|
|
return
|
|
}
|
|
|
|
err = json.Unmarshal(input, &parsed)
|
|
if err != nil {
|
|
TermMessage("Error reading settings.json:", err.Error())
|
|
}
|
|
}
|
|
|
|
settings = make(map[string]interface{})
|
|
for k, v := range defaults {
|
|
settings[k] = v
|
|
}
|
|
for k, v := range parsed {
|
|
settings[k] = v
|
|
}
|
|
|
|
err := WriteSettings(filename)
|
|
if err != nil {
|
|
TermMessage("Error writing settings.json file: " + err.Error())
|
|
}
|
|
}
|
|
|
|
// WriteSettings writes the settings to the specified filename as JSON
|
|
func WriteSettings(filename string) error {
|
|
var err error
|
|
if _, e := os.Stat(configDir); e == nil {
|
|
txt, _ := json.MarshalIndent(settings, "", " ")
|
|
err = ioutil.WriteFile(filename, txt, 0644)
|
|
}
|
|
return err
|
|
}
|
|
|
|
// AddOption creates a new option. This is meant to be called by plugins to add options.
|
|
func AddOption(name string, value interface{}) {
|
|
settings[name] = value
|
|
err := WriteSettings(configDir + "/settings.json")
|
|
if err != nil {
|
|
TermMessage("Error writing settings.json file: " + err.Error())
|
|
}
|
|
}
|
|
|
|
// GetOption returns the specified option. This is meant to be called by plugins to add options.
|
|
func GetOption(name string) interface{} {
|
|
return settings[name]
|
|
}
|
|
|
|
// DefaultSettings returns the default settings for micro
|
|
func DefaultSettings() map[string]interface{} {
|
|
return map[string]interface{}{
|
|
"autoindent": true,
|
|
"colorscheme": "default",
|
|
"ignorecase": false,
|
|
"indentchar": " ",
|
|
"ruler": true,
|
|
"savecursor": false,
|
|
"scrollspeed": float64(2),
|
|
"scrollmargin": float64(3),
|
|
"statusline": true,
|
|
"syntax": true,
|
|
"tabsize": float64(4),
|
|
"tabstospaces": false,
|
|
}
|
|
}
|
|
|
|
// SetOption prompts the user to set an option and checks that the response is valid
|
|
func SetOption(view *View, args []string) {
|
|
filename := configDir + "/settings.json"
|
|
if len(args) == 2 {
|
|
option := strings.TrimSpace(args[0])
|
|
value := strings.TrimSpace(args[1])
|
|
|
|
if _, ok := settings[option]; !ok {
|
|
messenger.Error(option + " is not a valid option")
|
|
return
|
|
}
|
|
|
|
kind := reflect.TypeOf(settings[option]).Kind()
|
|
if kind == reflect.Bool {
|
|
b, err := ParseBool(value)
|
|
if err != nil {
|
|
messenger.Error("Invalid value for " + option)
|
|
return
|
|
}
|
|
settings[option] = b
|
|
} else if kind == reflect.String {
|
|
settings[option] = value
|
|
} else if kind == reflect.Float64 {
|
|
i, err := strconv.Atoi(value)
|
|
if err != nil {
|
|
messenger.Error("Invalid value for " + option)
|
|
return
|
|
}
|
|
settings[option] = float64(i)
|
|
}
|
|
|
|
if option == "colorscheme" {
|
|
LoadSyntaxFiles()
|
|
view.Buf.UpdateRules()
|
|
}
|
|
|
|
if option == "statusline" {
|
|
view.Resize(screen.Size())
|
|
}
|
|
|
|
err := WriteSettings(filename)
|
|
if err != nil {
|
|
messenger.Error("Error writing to settings.json: " + err.Error())
|
|
return
|
|
}
|
|
} else {
|
|
messenger.Error("No value given")
|
|
}
|
|
}
|