{color=0}
{backgroundColor=16777215}
{fontName=Bitstream Vera Sans Mono}
{fontHeight=9}
{fontBold=false}
{fontItalic=false}
{windowX=47}
{windowY=53}
{windowWidth=596}
{windowHeight=481}
{windowMaximized=true}
{splitterX=279}
