Solved issue with text-field%

This commit is contained in:
2026-08-27 11:58:48 +02:00
parent d535bb63d9
commit 5a904a3286
+20 -22
View File
@@ -18,6 +18,19 @@
(provide run-player-agent-gui)
(define (input-field label init-val panel)
(let ((tf (new text-field%
[parent panel]
[label label]
[init-value init-val]))
)
(let ((editor (send tf get-editor)))
(send editor set-padding 0 2 0 2))
tf))
(sl-def-log player-agent)
(define config-file
@@ -532,28 +545,13 @@
(new vertical-panel%
(parent frame)
(alignment '(left top))
(border 12)
(spacing 8)))
(set! server-field
(new text-field%
(parent panel)
(label "RKT Web Player server")
(init-value server-url)
;; The automatically calculated single-line height can round one
;; physical pixel too small at fractional Windows DPI scales.
(min-height 32)))
(set! name-field
(new text-field%
(parent panel)
(label "Naam")
(init-value assigned-name)
(min-height 32)))
(define id-field
(new text-field%
(parent panel)
(label "Applicatie-ID")
(init-value app-id)
(min-height 32)))
;(border 12)
;(spacing 8)
))
(set! server-field (input-field "RKT Web Player server" server-url panel))
(set! name-field (input-field "Naam" assigned-name panel))
(define id-field (input-field "Applicatie-ID" app-id panel))
;; Lock just the editor instead of disabling the complete widget. Windows
;; renders disabled native controls in grey, which made the label and ID look
;; as though their glyphs were damaged.