MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

IJPL-157626 Json Settings: org.jetbrains.plugins.github:app:GithubSettings

Browse Source 
GitOrigin-RevId: 2874e15362477003cdcc6dbf651dc97d7955be03
This commit is contained in:
Rustam Vishniakov
2024-07-01 18:58:33 +02:00
committed by intellij-monorepo-bot
parent 93c03380f3
commit 4e9749c11c
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
platform/platform-impl/resources/settings/ide-settings-whitelist.json
View File

@@ -164,6 +164,10 @@
"org.intellij.plugins.markdown:app:MarkdownCodeInsightSettings.insertNewTableRowOnShiftEnter",
"org.intellij.plugins.markdown:app:MarkdownCodeInsightSettings.reformatTablesOnType",
"org.intellij.plugins.markdown:app:MarkdownCodeInsightSettings.renumberListsOnType",
"org.jetbrains.plugins.github:app:GithubSettings.automatically_mark_as_viewed",
"org.jetbrains.plugins.github:app:GithubSettings.clone_git_using_ssh",
"org.jetbrains.plugins.github:app:GithubSettings.connection_timeout",
"org.jetbrains.plugins.github:app:GithubSettings.is_unread_markers_enabled",
"org.jetbrains.plugins.go:app:DlvSettings.*",
"org.jetbrains.plugins.go:app:Go.askConfirmationForShareInPlayground",
"org.jetbrains.plugins.go:app:Go.convertJsonOnPaste",