mirror of
https://github.com/JetBrains/intellij-sdk-code-samples.git
synced 2025-07-30 02:07:50 +08:00
web summary/cleanup
This commit is contained in:
parent
e6a218d2bf
commit
4483e14286
@ -2,6 +2,10 @@
|
|||||||
|
|
||||||
# Explore the IntelliJ Platform API
|
# Explore the IntelliJ Platform API
|
||||||
|
|
||||||
|
<web-summary>
|
||||||
|
Strategies and tools for exploring the IntelliJ Platform API, navigate extension points, search code, and find examples.
|
||||||
|
</web-summary>
|
||||||
|
|
||||||
<link-summary>Strategies and tools for exploring the API.</link-summary>
|
<link-summary>Strategies and tools for exploring the API.</link-summary>
|
||||||
|
|
||||||
Sometimes it can be challenging to implement plugin features for the IntelliJ Platform,
|
Sometimes it can be challenging to implement plugin features for the IntelliJ Platform,
|
||||||
|
@ -1,7 +1,11 @@
|
|||||||
<!-- Copyright 2000-2024 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. -->
|
||||||
|
|
||||||
# IDE Infrastructure
|
# IDE Infrastructure
|
||||||
|
|
||||||
|
<web-summary>
|
||||||
|
How to log messages, report errors, access runtime info, help users report fatal errors, and manage plugins in your IDE.
|
||||||
|
</web-summary>
|
||||||
|
|
||||||
<link-summary>General IDE-level functionality (logging, error reporting, environment/installation info).</link-summary>
|
<link-summary>General IDE-level functionality (logging, error reporting, environment/installation info).</link-summary>
|
||||||
|
|
||||||
### Logging
|
### Logging
|
||||||
|
@ -4,6 +4,10 @@
|
|||||||
|
|
||||||
<!-- https://jb.gg/ij-psoc -->
|
<!-- https://jb.gg/ij-psoc -->
|
||||||
|
|
||||||
|
<web-summary>
|
||||||
|
Persisting the state of components for IntelliJ Platform plugins and sharing settings between IDE installations.
|
||||||
|
</web-summary>
|
||||||
|
|
||||||
<link-summary>Persisting data that is available after the IDE restarts and can be shared between different IDE installations.</link-summary>
|
<link-summary>Persisting data that is available after the IDE restarts and can be shared between different IDE installations.</link-summary>
|
||||||
|
|
||||||
The IntelliJ Platform provides an API that allows components or services to persist their state between restarts of the IDE.
|
The IntelliJ Platform provides an API that allows components or services to persist their state between restarts of the IDE.
|
||||||
|
@ -1,6 +1,10 @@
|
|||||||
|
<!-- Copyright 2000-2025 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. -->
|
||||||
|
|
||||||
# Settings
|
# Settings
|
||||||
|
|
||||||
<!-- Copyright 2000-2023 JetBrains s.r.o. and contributors. Use of this source code is governed by the Apache 2.0 license. -->
|
<web-summary>
|
||||||
|
Configure and persist preferences of IntelliJ Platform plugins with the settings mechanism.
|
||||||
|
</web-summary>
|
||||||
|
|
||||||
<link-summary>Settings mechanism allows users to configure and persist application- or project-level plugin preferences.</link-summary>
|
<link-summary>Settings mechanism allows users to configure and persist application- or project-level plugin preferences.</link-summary>
|
||||||
|
|
||||||
@ -11,9 +15,9 @@
|
|||||||
</tldr>
|
</tldr>
|
||||||
|
|
||||||
Settings are but one application of the IntelliJ Platform [Persistence Model](persistence.md).
|
Settings are but one application of the IntelliJ Platform [Persistence Model](persistence.md).
|
||||||
For more information, see:
|
|
||||||
* [Settings Guide](settings_guide.md) for information about Settings Extension Points and implementations.
|
* [](settings_guide.md) for information about Settings Extension Points and implementations.
|
||||||
* [Custom Settings Groups](settings_groups.md) for information about creating custom Settings groups and parent-child relationships.
|
* [](settings_groups.md) for information about creating custom Settings groups and parent-child relationships.
|
||||||
* [Settings Tutorial](settings_tutorial.md) for step-by-step instructions for creating a simple set of custom Settings.
|
* [](settings_tutorial.md) for step-by-step instructions for creating a simple set of custom Settings.
|
||||||
|
|
||||||
<include from="snippets.md" element-id="missingContent"/>
|
<include from="snippets.md" element-id="missingContent"/>
|
||||||
|
Loading…
x
Reference in New Issue
Block a user