Suche JavaScript Snippet für SetGadgetFont(0, #PB_Default)
Verfasst: 18.09.2020 18:46
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!
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.
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.