[Configuration]
FontName=DejaVu Sans Mono 12
MiscDefaultGeometry=120x36
ScrollingUnlimited=TRUE
MiscShowUnsafePasteDialog=FALSE
