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

[devkit] Make RegistrationEntry public as it is exposed via public API

Browse Source 
GitOrigin-RevId: 546d2498e8f0421a59fe25da17e50671f783c9a9
This commit is contained in:
Karol Lewandowski
2025-08-22 15:46:54 +00:00
committed by intellij-monorepo-bot
parent 7dd3bdd787
commit 7c6d9ab4cf
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/devkit/devkit-core/src/dom/index/RegistrationEntry.java
+2 -2
View File
@@ -1,4 +1,4 @@
// Copyright 2000-2022 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
// Copyright 2000-2025 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license.
package org.jetbrains.idea.devkit.dom.index;
import com.intellij.util.xml.DomElement;
@@ -6,7 +6,7 @@ import org.jetbrains.idea.devkit.dom.ActionOrGroup;
import org.jetbrains.idea.devkit.dom.Component;
import org.jetbrains.idea.devkit.dom.Listeners;
class RegistrationEntry {
public class RegistrationEntry {
private final RegistrationType myRegistrationType;
private final int myOffset;