mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 15:10:27 +09:00
We use a diff to be able to transform the buffer into an arbitrary string (usually when we reread the file after an external program such as gofmt has changed it) and still preserve undo/redo. Fixes #136
252 lines
5.8 KiB
Go
252 lines
5.8 KiB
Go
package main
|
|
|
|
import (
|
|
"encoding/gob"
|
|
"io/ioutil"
|
|
"os"
|
|
"path/filepath"
|
|
"strings"
|
|
"time"
|
|
|
|
"github.com/vinzmay/go-rope"
|
|
)
|
|
|
|
// Buffer stores the text for files that are loaded into the text editor
|
|
// It uses a rope to efficiently store the string and contains some
|
|
// simple functions for saving and wrapper functions for modifying the rope
|
|
type Buffer struct {
|
|
// The eventhandler for undo/redo
|
|
*EventHandler
|
|
|
|
// Stores the text of the buffer
|
|
r *rope.Rope
|
|
|
|
Cursor Cursor
|
|
|
|
// Path to the file on disk
|
|
Path string
|
|
// Name of the buffer on the status line
|
|
Name string
|
|
|
|
IsModified bool
|
|
|
|
// Stores the last modification time of the file the buffer is pointing to
|
|
ModTime time.Time
|
|
|
|
// Provide efficient and easy access to text and lines so the rope String does not
|
|
// need to be constantly recalculated
|
|
// These variables are updated in the update() function
|
|
Lines []string
|
|
NumLines int
|
|
|
|
// Syntax highlighting rules
|
|
rules []SyntaxRule
|
|
// The buffer's filetype
|
|
FileType string
|
|
}
|
|
|
|
// The SerializedBuffer holds the types that get serialized when a buffer is saved
|
|
type SerializedBuffer struct {
|
|
EventHandler *EventHandler
|
|
Cursor Cursor
|
|
ModTime time.Time
|
|
}
|
|
|
|
// NewBuffer creates a new buffer from `txt` with path and name `path`
|
|
func NewBuffer(txt, path string) *Buffer {
|
|
b := new(Buffer)
|
|
if txt == "" {
|
|
b.r = new(rope.Rope)
|
|
} else {
|
|
b.r = rope.New(txt)
|
|
}
|
|
b.Path = path
|
|
b.Name = path
|
|
|
|
b.ModTime, _ = GetModTime(b.Path)
|
|
|
|
b.EventHandler = NewEventHandler(b)
|
|
|
|
b.Update()
|
|
b.UpdateRules()
|
|
|
|
if _, err := os.Stat(configDir + "/buffers/"); os.IsNotExist(err) {
|
|
os.Mkdir(configDir+"/buffers/", os.ModePerm)
|
|
}
|
|
|
|
// Put the cursor at the first spot
|
|
b.Cursor = Cursor{
|
|
X: 0,
|
|
Y: 0,
|
|
buf: b,
|
|
}
|
|
|
|
if settings["savecursor"].(bool) || settings["saveundo"].(bool) {
|
|
absPath, _ := filepath.Abs(b.Path)
|
|
file, err := os.Open(configDir + "/buffers/" + EscapePath(absPath))
|
|
if err == nil {
|
|
var buffer SerializedBuffer
|
|
decoder := gob.NewDecoder(file)
|
|
gob.Register(TextEvent{})
|
|
err = decoder.Decode(&buffer)
|
|
if err != nil {
|
|
TermMessage(err.Error())
|
|
}
|
|
if settings["savecursor"].(bool) {
|
|
b.Cursor = buffer.Cursor
|
|
b.Cursor.buf = b
|
|
b.Cursor.Relocate()
|
|
}
|
|
|
|
if settings["saveundo"].(bool) {
|
|
// We should only use last time's eventhandler if the file wasn't by someone else in the meantime
|
|
if b.ModTime == buffer.ModTime {
|
|
b.EventHandler = buffer.EventHandler
|
|
b.EventHandler.buf = b
|
|
}
|
|
}
|
|
}
|
|
file.Close()
|
|
}
|
|
|
|
return b
|
|
}
|
|
|
|
// UpdateRules updates the syntax rules and filetype for this buffer
|
|
// This is called when the colorscheme changes
|
|
func (b *Buffer) UpdateRules() {
|
|
b.rules, b.FileType = GetRules(b)
|
|
}
|
|
|
|
func (b *Buffer) String() string {
|
|
if b.r.Len() != 0 {
|
|
return b.r.String()
|
|
}
|
|
return ""
|
|
}
|
|
|
|
// CheckModTime makes sure that the file this buffer points to hasn't been updated
|
|
// by an external program since it was last read
|
|
// If it has, we ask the user if they would like to reload the file
|
|
func (b *Buffer) CheckModTime() {
|
|
modTime, ok := GetModTime(b.Path)
|
|
if ok {
|
|
if modTime != b.ModTime {
|
|
choice, canceled := messenger.YesNoPrompt("The file has changed since it was last read. Reload file? (y,n)")
|
|
messenger.Reset()
|
|
messenger.Clear()
|
|
if !choice || canceled {
|
|
// Don't load new changes -- do nothing
|
|
b.ModTime, _ = GetModTime(b.Path)
|
|
} else {
|
|
// Load new changes
|
|
b.ReOpen()
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
// ReOpen reloads the current buffer from disk
|
|
func (b *Buffer) ReOpen() {
|
|
data, err := ioutil.ReadFile(b.Path)
|
|
txt := string(data)
|
|
|
|
if err != nil {
|
|
messenger.Error(err.Error())
|
|
return
|
|
}
|
|
b.EventHandler.ApplyDiff(txt)
|
|
|
|
b.ModTime, _ = GetModTime(b.Path)
|
|
b.IsModified = false
|
|
b.Update()
|
|
b.Cursor.Relocate()
|
|
}
|
|
|
|
// Update fetches the string from the rope and updates the `text` and `lines` in the buffer
|
|
func (b *Buffer) Update() {
|
|
b.Lines = strings.Split(b.String(), "\n")
|
|
b.NumLines = len(b.Lines)
|
|
}
|
|
|
|
// Save saves the buffer to its default path
|
|
func (b *Buffer) Save() error {
|
|
return b.SaveAs(b.Path)
|
|
}
|
|
|
|
// Serialize serializes the buffer to configDir/buffers
|
|
func (b *Buffer) Serialize() error {
|
|
if settings["savecursor"].(bool) || settings["saveundo"].(bool) {
|
|
absPath, _ := filepath.Abs(b.Path)
|
|
file, err := os.Create(configDir + "/buffers/" + EscapePath(absPath))
|
|
if err == nil {
|
|
enc := gob.NewEncoder(file)
|
|
gob.Register(TextEvent{})
|
|
err = enc.Encode(SerializedBuffer{
|
|
b.EventHandler,
|
|
b.Cursor,
|
|
b.ModTime,
|
|
})
|
|
// err = enc.Encode(b.Cursor)
|
|
}
|
|
file.Close()
|
|
return err
|
|
}
|
|
return nil
|
|
}
|
|
|
|
// SaveAs saves the buffer to a specified path (filename), creating the file if it does not exist
|
|
func (b *Buffer) SaveAs(filename string) error {
|
|
b.UpdateRules()
|
|
b.Name = filename
|
|
b.Path = filename
|
|
data := []byte(b.String())
|
|
err := ioutil.WriteFile(filename, data, 0644)
|
|
if err == nil {
|
|
b.IsModified = false
|
|
b.ModTime, _ = GetModTime(filename)
|
|
return b.Serialize()
|
|
}
|
|
return err
|
|
}
|
|
|
|
// This directly inserts value at idx, bypassing all undo/redo
|
|
func (b *Buffer) insert(idx int, value string) {
|
|
b.IsModified = true
|
|
b.r = b.r.Insert(idx, value)
|
|
b.Update()
|
|
}
|
|
|
|
// Remove a slice of the rope from start to end (exclusive)
|
|
// Returns the string that was removed
|
|
// This directly removes from start to end from the buffer, bypassing all undo/redo
|
|
func (b *Buffer) remove(start, end int) string {
|
|
b.IsModified = true
|
|
if start < 0 {
|
|
start = 0
|
|
}
|
|
if end > b.Len() {
|
|
end = b.Len()
|
|
}
|
|
if start == end {
|
|
return ""
|
|
}
|
|
removed := b.Substr(start, end)
|
|
// The rope implenentation I am using wants indicies starting at 1 instead of 0
|
|
start++
|
|
end++
|
|
b.r = b.r.Delete(start, end-start)
|
|
b.Update()
|
|
return removed
|
|
}
|
|
|
|
// Substr returns the substring of the rope from start to end
|
|
func (b *Buffer) Substr(start, end int) string {
|
|
return b.r.Substr(start+1, end-start).String()
|
|
}
|
|
|
|
// Len gives the length of the buffer
|
|
func (b *Buffer) Len() int {
|
|
return b.r.Len()
|
|
}
|