MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Enable ChangeReminder plugin by default

Browse Source 
GitOrigin-RevId: 87dee83e9d5699cbed74c4de48a94377e93abd7a
This commit is contained in:
Nikolay.Rykunov
2019-06-08 20:09:36 +03:00
committed by intellij-monorepo-bot
parent 9c27dc5643
commit 40b78decfb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/changeReminder/src/com/jetbrains/changeReminder/plugin/UserSettings.kt
+1 -1
View File
@@ -11,7 +11,7 @@ import java.util.*
@State(name = "ChangeReminderUserStorage", storages = [Storage(file = "changeReminder.user.storage.xml")])
class UserSettings : PersistentStateComponent<UserSettings.Companion.State> {
companion object {
data class State(var isPluginEnabled: Boolean = false)
data class State(var isPluginEnabled: Boolean = true)
}
interface PluginStatusListener : EventListener {