diff options
| author | goblin911 <goblinliu@gmail.com> | 2013-08-25 21:18:19 +0800 |
|---|---|---|
| committer | goblin911 <goblinliu@gmail.com> | 2013-08-25 21:18:19 +0800 |
| commit | 0e687f12bd2653adb55ea002b39292678366c525 (patch) | |
| tree | 0ad073ec8ff2ed2716adf23a679184c38df582a1 /client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor | |
| parent | 2efdc2f20f0306791ced5ec78a1acddfaf086f42 (diff) | |
...
Diffstat (limited to 'client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor')
| -rw-r--r-- | client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor/dialog_settings.xml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor/dialog_settings.xml b/client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor/dialog_settings.xml new file mode 100644 index 0000000..0d5a4e0 --- /dev/null +++ b/client/.metadata/.plugins/org.eclipse.ui.workbench.texteditor/dialog_settings.xml @@ -0,0 +1,25 @@ +<?xml version="1.0" encoding="UTF-8"?> +<section name="Workbench"> + <section name="org.eclipse.ui.texteditor.FindReplaceDialog_dialogBounds"> + <item value="330" key="DIALOG_WIDTH"/> + <item value="274" key="DIALOG_Y_ORIGIN"/> + <item value="997" key="DIALOG_X_ORIGIN"/> + <item value="436" key="DIALOG_HEIGHT"/> + <item value="1|文泉驿微米黑|11.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> + </section> + <section name="org.eclipse.ui.texteditor.FindReplaceDialog"> + <item value="true" key="wrap"/> + <item value="false" key="casesensitive"/> + <item value="false" key="isRegEx"/> + <item value="false" key="incremental"/> + <item value="false" key="wholeword"/> + <item value="reqtask" key="selection"/> + <list key="findhistory"> + <item value="reqtask"/> + <item value="android:id"/> + <item value="main"/> + </list> + <list key="replacehistory"> + </list> + </section> +</section> |