github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-10 00:50:19 +09:00
Code Issues Packages Projects Releases Wiki Activity

Fix some issues with mouse selection copying

Browse Source
This commit is contained in:
Zachary Yedidia
2016-09-05 08:36:30 -04:00
parent c71e816e37
commit 2041e12eba
2 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
cmd/micro/cursor.go
View File

@@ -31,22 +31,26 @@ func (c *Cursor) Goto(b Cursor) {
// ResetSelection resets the user's selection
func (c *Cursor) ResetSelection() {
c.SetSelectionStart(c.buf.Start())
c.SetSelectionEnd(c.buf.Start())
c.CurSelection[0] = c.buf.Start()
c.CurSelection[1] = c.buf.Start()
}
// SetSelectionStart sets the start of the selection
func (c *Cursor) SetSelectionStart(pos Loc) {
c.CurSelection[0] = pos
// Copy to primary clipboard for linux
clipboard.WriteAll(c.GetSelection(), "primary")
if c.HasSelection() {
clipboard.WriteAll(c.GetSelection(), "primary")
}
}
// SetSelectionEnd sets the end of the selection
func (c *Cursor) SetSelectionEnd(pos Loc) {
c.CurSelection[1] = pos
// Copy to primary clipboard for linux
clipboard.WriteAll(c.GetSelection(), "primary")
if c.HasSelection() {
clipboard.WriteAll(c.GetSelection(), "primary")
}
}
// HasSelection returns whether or not the user has selected anything
@@ -59,7 +63,7 @@ func (c *Cursor) DeleteSelection() {
if c.CurSelection[0].GreaterThan(c.CurSelection[1]) {
c.buf.Remove(c.CurSelection[1], c.CurSelection[0])
c.Loc = c.CurSelection[1]
} else if c.GetSelection() == "" {
} else if !c.HasSelection() {
return
} else {
c.buf.Remove(c.CurSelection[0], c.CurSelection[1])

4
cmd/micro/view.go
View File

@@ -414,8 +414,8 @@ func (v *View) HandleEvent(event tcell.Event) {
v.lastClickTime = time.Now()
v.Cursor.OrigSelection[0] = v.Cursor.Loc
v.Cursor.SetSelectionStart(v.Cursor.Loc)
v.Cursor.SetSelectionEnd(v.Cursor.Loc)
v.Cursor.CurSelection[0] = v.Cursor.Loc
v.Cursor.CurSelection[1] = v.Cursor.Loc
}
v.mouseReleased = false
} else if !v.mouseReleased {