Make Element the default for new nodes.
[dom-editor.git] / Dome / Options.xml
blobb465cb730315e10d345ec60dbadfdfed39f05804
1 <?xml version='1.0'?>
2 <options>
3   <section title='Dome'>
4     <frame label='Appearance'>
5       <font name='default_font' label='Text font'>
6         Font used for normal text.
7       </font>
8     </frame>
9   </section>
10 </options>