mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
OPENIDE #82 Hide OpenIDE from Jetbrains Toolbox app
(cherry picked from commit e6a734d3544962e3e2a7b9204371bc4f21263f5c)
This commit is contained in:
@@ -1,6 +1,6 @@
|
||||
<component xmlns="http://jetbrains.org/intellij/schema/application-info">
|
||||
<version major="2025" minor="1.3"/>
|
||||
<company name="JetBrains s.r.o." url="https://www.jetbrains.com"/>
|
||||
<company name="OpenIDE" url="https://openide.ru"/>
|
||||
<build number="IC-__BUILD__" date="__BUILD_DATE__"/> <!--majorReleaseDate="20170321"-->
|
||||
<logo url="/openide_logo.png"/>
|
||||
<icon svg="/openide.svg" svg-small="/openide_16.svg"/>
|
||||
|
||||
@@ -129,7 +129,7 @@ public final class ConsentOptions implements ModificationTracker {
|
||||
});
|
||||
|
||||
private static @NotNull @NonNls String getBundledResourcePath() {
|
||||
if ("JetBrains".equals(System.getProperty("idea.vendor.name"))) {
|
||||
if ("OpenIDE".equals(System.getProperty("idea.vendor.name"))) {
|
||||
return "consents.json";
|
||||
}
|
||||
|
||||
|
||||
@@ -2258,7 +2258,7 @@ ide.show.open.button.in.tip.dialog.description=Shows Open button in Tip of the D
|
||||
ide.save.missing.jb.colors=false
|
||||
ide.save.missing.jb.colors.description=A missing named color will be added to UIDefaults with !!! suffix
|
||||
|
||||
ide.hide.toolbox.promo=false
|
||||
ide.hide.toolbox.promo=true
|
||||
ide.hide.toolbox.promo.description=Removes JetBrains Toolbox promotion from the update settings page
|
||||
|
||||
ide.show.plugins.in.editor=false
|
||||
|
||||
Reference in New Issue
Block a user