severinkaderli/dotfiles
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Update PhpStorm options

Browse source 
Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-07-15 10:32:03 +02:00
parent 1c6c467659
commit e776250359
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
5 changed files with 30 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
system/.config/phpstorm/config/options/ide.general.xml
View file

@ -1,6 +1,7 @@
<application>
<component name="GeneralSettings">
<option name="confirmExit" value="false" />
<option name="searchInBackground" value="true" />
<option name="showTipsOnStartup" value="false" />
</component>
</application>