Vokabel-Trainer/editor.xml at master - Vokabel-Trainer - New flavour: peppermint

WDG/Vokabel-Trainer

Archived

This repository has been archived on 2022-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

peet 5c58c9538a AI-4.2.2 <schme@JoLaptop Update filetypes.xml Create editor.xml

2021-07-13 17:33:03 +02:00

5 lines

132 B

XML

Raw Permalink Blame History

 <application>
   <component name="EditorSettings">
     <option name="USE_SOFT_WRAPS" value="CONSOLE" />
   </component>
 </application>