NorbiPeti
f92b7d0f3d
- Added many admin commands (see /u admin) - Probably fixed the flairs for some players - Added support for custom flairs, also used when deciding unknown flair types
23 lines
856 B
XML
23 lines
856 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<section name="Workbench">
|
|
<section name="org.eclipse.ui.texteditor.FindReplaceDialog">
|
|
<item value="false" key="isRegEx"/>
|
|
<item value="catch" key="selection"/>
|
|
<item value="false" key="casesensitive"/>
|
|
<item value="false" key="incremental"/>
|
|
<item value="true" key="wrap"/>
|
|
<item value="false" key="wholeword"/>
|
|
<list key="findhistory">
|
|
<item value="catch"/>
|
|
</list>
|
|
<list key="replacehistory">
|
|
</list>
|
|
</section>
|
|
<section name="org.eclipse.ui.texteditor.FindReplaceDialog_dialogBounds">
|
|
<item value="257" key="DIALOG_WIDTH"/>
|
|
<item value="1|Segoe UI|9.0|0|WINDOWS|1|-12|0|0|0|400|0|0|0|1|0|0|0|0|Segoe UI" key="DIALOG_FONT_NAME"/>
|
|
<item value="380" key="DIALOG_HEIGHT"/>
|
|
<item value="947" key="DIALOG_X_ORIGIN"/>
|
|
<item value="231" key="DIALOG_Y_ORIGIN"/>
|
|
</section>
|
|
</section>
|