2023-04-06 15:00:37 -05:00
|
|
|
package main
|
|
|
|
|
|
|
|
import (
|
|
|
|
// "github.com/awesome-gocui/gocui"
|
|
|
|
"git.wit.org/wit/gui/toolkit"
|
|
|
|
)
|
|
|
|
|
2023-12-02 19:02:51 -06:00
|
|
|
func (n *node) setCheckbox(b bool) {
|
|
|
|
w := n.tk
|
|
|
|
if (n.WidgetType != toolkit.Checkbox) {
|
2023-04-06 15:00:37 -05:00
|
|
|
return
|
|
|
|
}
|
|
|
|
if (b) {
|
2023-12-02 19:02:51 -06:00
|
|
|
n.B = b
|
|
|
|
n.Text = "X " + n.Name
|
2023-04-06 15:00:37 -05:00
|
|
|
} else {
|
2023-12-02 19:02:51 -06:00
|
|
|
n.B = b
|
|
|
|
n.Text = " " + n.Name
|
2023-04-06 15:00:37 -05:00
|
|
|
}
|
2023-12-02 19:02:51 -06:00
|
|
|
t := len(n.Text) + 1
|
2023-04-26 01:59:42 -05:00
|
|
|
w.gocuiSize.w1 = w.gocuiSize.w0 + t
|
|
|
|
|
2023-12-02 19:02:51 -06:00
|
|
|
// w.realWidth = w.gocuiSize.Width() + me.PadW
|
|
|
|
// w.realHeight = w.gocuiSize.Height() + me.PadH
|
2023-04-26 01:59:42 -05:00
|
|
|
|
2023-12-02 19:02:51 -06:00
|
|
|
// if w.frame {
|
|
|
|
// w.realWidth += me.FramePadW
|
|
|
|
// w.realHeight += me.FramePadH
|
|
|
|
// }
|
2023-04-06 15:00:37 -05:00
|
|
|
|
2023-12-02 19:02:51 -06:00
|
|
|
n.deleteView()
|
|
|
|
n.showView()
|
2023-04-06 15:00:37 -05:00
|
|
|
}
|