diff --git a/private/player-agent-gui.rkt b/private/player-agent-gui.rkt index e17ae26..8ef1836 100644 --- a/private/player-agent-gui.rkt +++ b/private/player-agent-gui.rkt @@ -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.