\font-encoding			koi8-r
\display-encoding		KOI8-R
\messages-encoding		utf-8
\verilog-encoding		utf-8
\postscript-encoding	utf-8
\language				русский
@opt.sidebar.width			*400
@opt.tree.width				*250
