diff options
| author | Jeff Carr <[email protected]> | 2023-04-05 13:30:49 -0500 |
|---|---|---|
| committer | Jeff Carr <[email protected]> | 2023-04-05 13:30:49 -0500 |
| commit | 89bff61cb1373035f7a20b05dd975f8dfbbb767a (patch) | |
| tree | 8662b479f8b05070027da42f148f8521a360cd94 /toolkit/gocui/debug.go | |
| parent | 29efacf6f60d92231381699bc27d44d515a4063c (diff) | |
gocui: s/realSize/gocuiSize/
Signed-off-by: Jeff Carr <[email protected]>
Diffstat (limited to 'toolkit/gocui/debug.go')
| -rw-r--r-- | toolkit/gocui/debug.go | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/toolkit/gocui/debug.go b/toolkit/gocui/debug.go index d78fdf9..aa12281 100644 --- a/toolkit/gocui/debug.go +++ b/toolkit/gocui/debug.go @@ -46,7 +46,7 @@ func (w *cuiWidget) showWidgetPlacement(b bool, s string) { pId = w.parent.id } s1 = fmt.Sprintf("(wId,pId)=(%2d,%2d) ", w.id, pId) - s1 += fmt.Sprintf("real()=(%2d,%2d,%2d,%2d) ", w.realSize.w0, w.realSize.h0, w.realSize.w1, w.realSize.h1) + s1 += fmt.Sprintf("real()=(%2d,%2d,%2d,%2d) ", w.gocuiSize.w0, w.gocuiSize.h0, w.gocuiSize.w1, w.gocuiSize.h1) s1 += fmt.Sprintf("size()=(%2d,%2d) ", w.realWidth, w.realHeight) switch w.widgetType { @@ -58,16 +58,16 @@ func (w *cuiWidget) showWidgetPlacement(b bool, s string) { } log(b, s1, s, w.widgetType, ",", w.name) // , "text=", w.text) - if (w.realWidth != (w.realSize.w1 - w.realSize.w0)) { + if (w.realWidth != (w.gocuiSize.w1 - w.gocuiSize.w0)) { log(b, "dump()", s, "badsize()=(", w.realWidth, ",", w.realHeight, ")", - "badreal()=(", w.realSize.w0, ",", w.realSize.h0, ",", w.realSize.w1, ",", w.realSize.h1, ")", + "badreal()=(", w.gocuiSize.w0, ",", w.gocuiSize.h0, ",", w.gocuiSize.w1, ",", w.gocuiSize.h1, ")", w.widgetType, ",", w.name) } - if (w.realHeight != (w.realSize.h1 - w.realSize.h0)) { + if (w.realHeight != (w.gocuiSize.h1 - w.gocuiSize.h0)) { log(b, "dump()", s, "badsize()=(", w.realWidth, ",", w.realHeight, ")", - "badreal()=(", w.realSize.w0, ",", w.realSize.h0, ",", w.realSize.w1, ",", w.realSize.h1, ")", + "badreal()=(", w.gocuiSize.w0, ",", w.gocuiSize.h0, ",", w.gocuiSize.w1, ",", w.gocuiSize.h1, ")", w.widgetType, ",", w.name) } } |
