2021-12-04 17:46:39 +00:00
|
|
|
<application>
|
|
|
|
|
<component name="AdvancedSettings">
|
|
|
|
|
<option name="settings">
|
|
|
|
|
<map>
|
|
|
|
|
<entry key="confirm.rerun.with.termination" value="false" />
|
2022-04-27 19:48:45 +01:00
|
|
|
<entry key="se.text.search" value="true" />
|
2021-12-04 17:46:39 +00:00
|
|
|
</map>
|
|
|
|
|
</option>
|
|
|
|
|
</component>
|
|
|
|
|
</application>
|
