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!
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.
