AutoSaveAsTempFile=1
tipNum=15
defaultExt=wxm
lastPath=/home/gunter/src/wxmaxima/test/automatic_test_files
mathfontsize=12
[AUI]
perspective=layout2|name=history;caption=History;state=18876414;dir=2;layer=0;row=0;pos=0;prop=100000;bestw=84;besth=93;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=structure;caption=Table of Contents;state=18876412;dir=2;layer=0;row=0;pos=0;prop=100000;bestw=400;besth=200;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=XmlInspector;caption=Raw XML monitor;state=18876414;dir=2;layer=0;row=0;pos=0;prop=100000;bestw=128;besth=102;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=stats;caption=Statistics;state=18876414;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=188;besth=308;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=greek;caption=Greek Letters;state=18876412;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=118;besth=126;minw=118;minh=126;maxw=118;maxh=126;floatx=-1;floaty=-1;floatw=118;floath=126|name=unicode;caption=Unicode characters;state=18876414;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=120;besth=105;minw=120;minh=105;maxw=120;maxh=105;floatx=-1;floaty=-1;floatw=120;floath=105|name=log;caption=Debug Messages;state=18876414;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=960;besth=768;minw=128;minh=102;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=128;floath=102|name=variables;caption=Variables;state=18876414;dir=3;layer=0;row=0;pos=0;prop=100000;bestw=128;besth=102;minw=128;minh=102;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=128;floath=102|name=symbols;caption=Mathematical Symbols;state=18876412;dir=4;layer=0;row=0;pos=1;prop=100000;bestw=142;besth=168;minw=142;minh=168;maxw=142;maxh=168;floatx=-1;floaty=-1;floatw=142;floath=168|name=math;caption=General Math;state=18876414;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=176;besth=216;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=format;caption=Insert;state=18876414;dir=4;layer=0;row=0;pos=0;prop=100000;bestw=188;besth=120;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=draw;caption=Plot using Draw;state=18876412;dir=4;layer=0;row=0;pos=2;prop=100000;bestw=142;besth=168;minw=142;minh=168;maxw=142;maxh=168;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=toolbar;caption=;state=132080;dir=1;layer=0;row=1;pos=0;prop=100000;bestw=1053;besth=38;minw=-1;minh=-1;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|name=console;caption=;state=16892;dir=5;layer=0;row=2;pos=0;prop=100000;bestw=100;besth=100;minw=100;minh=100;maxw=-1;maxh=-1;floatx=-1;floaty=-1;floatw=-1;floath=-1|dock_size(5,0,2)=100|dock_size(2,0,0)=288|dock_size(4,0,0)=144|dock_size(1,0,1)=40|
[Persistent_Options]
[Persistent_Options/Window]
[Persistent_Options/Window/home]
[Persistent_Options/Window/home/gunter]
[Persistent_Options/Window/home/gunter/src]
[Persistent_Options/Window/home/gunter/src/wxmaxima]
[Persistent_Options/Window/home/gunter/src/wxmaxima/test]
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files]
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/testbench_automatic_unicode.wxm]
x=292
y=27
w=1152
h=1053
Maximized=0
Iconized=0
decor_l=0
decor_r=0
decor_t=37
decor_b=0
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/unicode.wxm]
x=0
y=0
w=1864
h=1053
Maximized=1
Iconized=0
decor_l=0
decor_r=0
decor_t=37
decor_b=0
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/testbench_simple.mac]
x=26
y=23
w=1544
h=988
Maximized=0
Iconized=0
[Persistent_Options/Window/home/gunter/src/wxmaxima/test/automatic_test_files/testbench_simple2.mac]
x=26
y=23
w=1544
h=988
Maximized=0
Iconized=0
[Style]
[Style/Default]
color=black
bold=1
italic=1
underlined=0
[Style/Default/Style]
[Style/Default/Style/Text]
fontname=Arial
fontsize=12
[Style/Math]
fontname=
[Style/Text]
color=black
bold=0
italic=0
underlined=0
[Style/Text/Style]
[Style/Text/Style/Text]
fontsize=12
fontname=Arial
[Style/CodeHighlighting]
[Style/CodeHighlighting/Variable]
color=rgb(0, 128, 0)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Variable/Style]
[Style/CodeHighlighting/Variable/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/Function]
color=rgb(128, 0, 0)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Function/Style]
[Style/CodeHighlighting/Function/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/Comment]
color=rgb(64, 64, 64)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Comment/Style]
[Style/CodeHighlighting/Comment/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/Number]
color=rgb(128, 64, 0)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Number/Style]
[Style/CodeHighlighting/Number/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/String]
color=rgb(0, 0, 128)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/String/Style]
[Style/CodeHighlighting/String/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/Operator]
color=black
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Operator/Style]
[Style/CodeHighlighting/Operator/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/Lisp]
color=rgb(255, 0, 128)
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/Lisp/Style]
[Style/CodeHighlighting/Lisp/Style/Text]
fontsize=10
fontname=Arial
[Style/CodeHighlighting/EndOfLine]
color=grey
bold=0
italic=1
underlined=0
[Style/CodeHighlighting/EndOfLine/Style]
[Style/CodeHighlighting/EndOfLine/Style/Text]
fontsize=10
fontname=Arial
[Style/Heading6]
color=black
bold=1
italic=0
underlined=0
[Style/Heading6/Style]
[Style/Heading6/Style/Text]
fontsize=14
fontname=Arial
[Style/Heading5]
color=black
bold=1
italic=0
underlined=0
[Style/Heading5/Style]
[Style/Heading5/Style/Text]
fontsize=15
fontname=Arial
[Style/Subsubsection]
color=black
bold=1
italic=0
underlined=0
[Style/Subsubsection/Style]
[Style/Subsubsection/Style/Text]
fontsize=16
fontname=Arial
[Style/Subsection]
color=black
bold=1
italic=0
underlined=0
[Style/Subsection/Style]
[Style/Subsection/Style/Text]
fontsize=16
fontname=Arial
[Style/Section]
color=black
bold=1
italic=1
underlined=0
[Style/Section/Style]
[Style/Section/Style/Text]
fontsize=18
fontname=Arial
[Style/Title]
color=black
bold=1
italic=0
underlined=1
[Style/Title/Style]
[Style/Title/Style/Text]
fontsize=24
fontname=Arial
[Style/Warning]
color=rgb(255, 165, 0)
bold=1
italic=0
underlined=0
[Style/Warning/Style]
[Style/Warning/Style/Text]
fontsize=12
fontname=Arial
[Style/MainPrompt]
color=rgb(255, 128, 128)
bold=0
italic=0
underlined=0
[Style/MainPrompt/Style]
[Style/MainPrompt/Style/Text]
fontsize=10
fontname=Arial
[Style/OtherPrompt]
color=red
bold=0
italic=1
underlined=0
[Style/OtherPrompt/Style]
[Style/OtherPrompt/Style/Text]
fontsize=10
fontname=Arial
[Style/Label]
color=rgb(255, 192, 128)
bold=0
italic=0
underlined=0
[Style/Label/Style]
[Style/Label/Style/Text]
fontsize=10
fontname=Arial
[Style/UserDefinedLabel]
color=rgb(255, 64, 0)
bold=0
italic=0
underlined=0
[Style/UserDefinedLabel/Style]
[Style/UserDefinedLabel/Style/Text]
fontsize=10
fontname=Arial
[Style/Special]
color=black
bold=0
italic=0
underlined=0
[Style/Special/Style]
[Style/Special/Style/Text]
fontsize=10
fontname=Arial
[Style/Greek]
color=black
bold=0
italic=1
underlined=0
[Style/Greek/Style]
[Style/Greek/Style/Text]
fontsize=10
fontname=Arial
[Style/Input]
color=blue
bold=0
italic=0
underlined=0
[Style/Input/Style]
[Style/Input/Style/Text]
fontsize=10
fontname=Arial
[Style/Number]
color=black
bold=0
italic=0
underlined=0
[Style/Number/Style]
[Style/Number/Style/Text]
fontsize=10
fontname=Arial
[Style/String]
color=black
bold=0
italic=1
underlined=0
[Style/String/Style]
[Style/String/Style/Text]
fontsize=10
fontname=Arial
[Style/Variable]
color=black
bold=0
italic=1
underlined=0
[Style/Variable/Style]
[Style/Variable/Style/Text]
fontsize=10
fontname=Arial
[Style/Function]
color=black
bold=0
italic=0
underlined=0
[Style/Function/Style]
[Style/Function/Style/Text]
fontsize=10
fontname=Arial
[Style/Highlight]
color=red
bold=0
italic=0
underlined=0
[Style/Highlight/Style]
[Style/Highlight/Style/Text]
fontsize=10
fontname=Arial
[Style/Background]
color=white
bold=0
italic=0
underlined=0
[Style/Background/Style]
[Style/Background/Style/Text]
fontsize=10
fontname=Arial
[Style/DocumentBackground]
color=white
bold=0
italic=0
underlined=0
[Style/DocumentBackground/Style]
[Style/DocumentBackground/Style/Text]
fontsize=10
fontname=Arial
[Style/Error]
color=red
bold=0
italic=0
underlined=0
[Style/Error/Style]
[Style/Error/Style/Text]
fontsize=12
fontname=Arial
[Style/CellBracket]
color=black
bold=0
italic=0
underlined=0
[Style/CellBracket/Style]
[Style/CellBracket/Style/Text]
fontsize=10
fontname=Arial
[Style/ActiveCellBracket]
color=black
bold=0
italic=0
underlined=0
[Style/ActiveCellBracket/Style]
[Style/ActiveCellBracket/Style/Text]
fontsize=10
fontname=Arial
[Style/Selection]
color=rgb(233, 84, 32)
bold=0
italic=0
underlined=0
[Style/Selection/Style]
[Style/Selection/Style/Text]
fontsize=10
fontname=Arial
[Style/EqualsSelection]
color=rgb(244, 169, 143)
bold=0
italic=0
underlined=0
[Style/EqualsSelection/Style]
[Style/EqualsSelection/Style/Text]
fontsize=10
fontname=Arial
[Style/Outdated]
color=rgb(153, 153, 153)
bold=0
italic=0
underlined=0
[Style/Outdated/Style]
[Style/Outdated/Style/Text]
fontsize=10
fontname=Arial
