Files
redditdownloader/.metadata/.plugins/org.eclipse.ui.workbench.texteditor/dialog_settings.xml
2026-05-03 21:50:03 +02:00

24 lines
782 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
<section name="java.lang.Class">
<item key="selection" value=""/>
<item key="wrap" value="true"/>
<item key="casesensitive" value="false"/>
<item key="wholeword" value="false"/>
<item key="incremental" value="false"/>
<item key="isRegEx" value="false"/>
<list key="findhistory">
<item value="****"/>
</list>
<list key="replacehistory">
</list>
</section>
<section name="org.eclipse.ui.texteditor.FindReplaceDialog_dialogBounds">
<item key="DIALOG_X_ORIGIN" value="20"/>
<item key="DIALOG_Y_ORIGIN" value="20"/>
<item key="DIALOG_WIDTH" value="357"/>
<item key="DIALOG_HEIGHT" value="415"/>
<item key="DIALOG_FONT_NAME" value="1|Ubuntu Sans|11.0|0|GTK|1|"/>
</section>
</section>