UX: Allow to set a font for text, list views and pinned menus ...independently from `CodeView`'s default font and `MenuPanel`s default font. This is mostly useful for demos :-)

syntax: glob
*Init.c   
makefile
*.so
*.H
*.o
*.STH
*.sc
objbc
objvc
*.class
java/libs/*.jar
java/libs-src/*.jar
*-Test.xml
st.chg