ilyakooo0/intellij-haskell
1
0
Fork 0
mirror of https://github.com/ilyakooo0/intellij-haskell.git synced 2024-09-11 14:56:19 +03:00
Code Issues Projects Releases Wiki Activity

Make clear when project has to be restarted after changing settings.

Browse Source
This commit is contained in:
Rik van der Kleij 2019-09-01 21:29:34 +02:00
parent 2bafe0e9e1
commit 2c93b0e3a8
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/main/scala/intellij/haskell/settings/HaskellConfigurable.scala
View File

@ -29,7 +29,7 @@ class HaskellConfigurable extends Configurable {
private val hlintOptionsField = new JTextField
private val useSystemGhcToggle = new JCheckBox
private val replTimeoutField = new JTextField
private val afterRestartLabel = new JLabel("Changes will take effect after restarting project")
private val afterRestartLabel = new JLabel("*) Changes will take effect after restarting project")
private val newProjectTemplateNameField = new JTextField
private val hindentPathField = new JTextField
private val hlintPathField = new JTextField
@ -227,15 +227,15 @@ class HaskellConfigurable extends Configurable {
}
object HaskellConfigurable {
final val ReplTimout = "Background REPL timeout in seconds"
final val ReplTimout = "Background REPL timeout in seconds *"
final val HlintOptions = "Hlint options"
final val NewProjectTemplateName = "Template name for new project"
final val BuildToolsUsingSystemGhc = "Build tools using system GHC"
final val BuildToolsUsingSystemGhc = "Build tools using system GHC *"
final val HindentPath = "Hindent path"
final val HlintPath = "Hlint path"
final val HooglePath = "Hoogle path"
final val StylishHaskellPath = "Stylish Haskell path"
final val UseCustomTool = "Use custom Haskell tools"
final val UseCustomTool = "Use custom Haskell tools *"
final val CustomToolPathWarning =
"""WARNING! Specifying a path for a Haskell tool will override the default
|behavior of building that tool from the Stackage LTS. This plugin was