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

Update PhpStorm settings

Browse source 
Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-08-19 13:07:24 +02:00
parent 4ecdb81721
commit 934f3ef2f8
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
3 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -4,4 +4,7 @@
<option name="searchInBackground" value="true" />
<option name="showTipsOnStartup" value="false" />
</component>
<component name="Registry">
<entry key="actionSystem.fix.alt.gr" value="false" />
</component>
</application>