Suche JavaScript Snippet für SetGadgetFont(0, #PB_Default)

Hier könnt ihr alle Fragen zu SpiderBasic austauschen.
Benutzeravatar
Kurzer
Beiträge: 1614
Registriert: 25.04.2006 17:29
Wohnort: Nähe Hamburg

Suche JavaScript Snippet für SetGadgetFont(0, #PB_Default)

Beitrag von Kurzer »

Moinsen,

da SpiderBasic offenbar einen bug hat und man mit SetGadgetFont(0, #PB_Default) einen Gadget Font nicht wieder auf den Standard zurücksetzen kann, suche ich eine Alternative in JavaScript. Kann da jemand evtl. was aus dem Ärmel schütteln?

Herzlichen Dank! :praise:

Markus

Edit: Lt. DevTools meines Browsers ist das z.B. für ein Editorgadget der Font "Arial monospaced 13.3333 px", aber sowas kann man mit SetGadgetFont() nicht setzen.

Bild
"Never run a changing system!" | "Unterhalten sich zwei Alleinunterhalter... Paradox, oder?"
PB 6.02 x64, OS: Win 7 Pro x64 & Win 11 x64, Desktopscaling: 125%, CPU: I7 6500, RAM: 16 GB, GPU: Intel Graphics HD 520
Useralter in 2023: 56 Jahre.