Ciao a tutti,
Ho uno strano problema in JMP 12.2.Quando eseguo il codice seguente, il passaggio successivo tra le schede utilizzando il pulsante nella prima scheda produce caselle di pulsanti che crescono in larghezza.
nw = new window("Test",
tbb = tab box(
"First",
vlistbox(
text box("Not much here"),
button box("Go to Second", tbb << set selected(2)),
),
"Second",
tb = tablebox(
scb = string col box("AAA", {"Hello", "World", "Fubar", "Festival"}),
cb = col box("Actions",
b1 = button box(""),
t2 = text box(""),
t3 = text box(""),
b4 = button box(""),
),
),
),
);
tb << set underline headings(1) << set column borders(1) << set row borders(1) << set shade alternate rows(1);
b1 << set icon("ControlC");
b4 << set icon("WinFilePrintPreview");
Ecco come appare:

Per vedere l'effetto, eseguire il codice e fare clic sul pulsante "Vai al secondo".Questo passerà alla scheda "Secondo".Ora fai clic sulla scheda "Primo" e fai nuovamente clic sul pulsante "Vai al secondo".Continua così e vedrai di cosa sto parlando.
C'è un modo per forzare un pulsante ad avere una larghezza particolare?Ho provato a inserire un pulsante all'interno di un bordo e impostare la larghezza del bordo, ma non ha funzionato.A proposito, questo comportamento non è evidente in JMP 13.2.
Sembra che questo problema sia stato risolto in JMP 13.
Trovato una soluzione:
b1 << set max size(30, 50);
b4 << set max size(30, 50);
Questo sembra fare il trucco.