2019-08-14 00:22:35 +02:00
|
|
|
[
|
|
|
|
|
{ type: install
|
|
|
|
|
message: <<EOM
|
2018-12-27 12:11:28 +01:00
|
|
|
There is a native (faster) file watching support backed by kqueue which is
|
|
|
|
|
enabled by default. If you encounter problems with watching large
|
2019-08-21 04:24:59 +02:00
|
|
|
trees, you can disable it by appending the following property into
|
|
|
|
|
%%DATADIR%%/bin/idea.properties:
|
2016-10-14 23:07:02 +02:00
|
|
|
|
2018-12-27 12:11:28 +01:00
|
|
|
idea.filewatcher.disabled=true
|
2019-08-14 00:22:35 +02:00
|
|
|
EOM
|
|
|
|
|
}
|
|
|
|
|
]
|
