joejulian/gio
1
0
Fork 1
mirror of https://git.sr.ht/~eliasnaur/gio synced 2026-07-06 09:55:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

widget: don't draw Editor selection when not focused

Browse Source 
Signed-off-by: Elias Naur <mail@eliasnaur.com>
This commit is contained in:
Elias Naur
2022-04-23 15:45:41 +02:00
parent 2381c5ad70
commit 3c45a6d420
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
widget/editor.go
+3
View File
@@ -649,6 +649,9 @@ func (e *Editor) layout(gtx layout.Context, content layout.Widget) layout.Dimens
// PaintSelection paints the contrasting background for selected text. // PaintSelection paints the contrasting background for selected text.
func (e *Editor) PaintSelection(gtx layout.Context) { func (e *Editor) PaintSelection(gtx layout.Context) {
if !e.focused {
return
}
cl := textPadding(e.lines) cl := textPadding(e.lines)
cl.Max = cl.Max.Add(e.viewSize) cl.Max = cl.Max.Add(e.viewSize)
defer clip.Rect(cl).Push(gtx.Ops).Pop() defer clip.Rect(cl).Push(gtx.Ops).Pop()