Fix saving the shell path project setting (IDEA-163474)
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 14 Nov 2016 14:13:27 +0000 (15:13 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 14 Nov 2016 14:13:27 +0000 (15:13 +0100)
commitb8b17786ae4b3b19183323f454e1c43c6a29bfcf
tree7c8189bb5b575932224a39710c0a520a11e7c030
parent94a666a0dfaa005602c910957c968def97d828a0
Fix saving the shell path project setting (IDEA-163474)
plugins/terminal/src/org/jetbrains/plugins/terminal/TerminalProjectOptionsProvider.kt