mirror of
https://github.com/JetBrains/intellij-sdk-code-samples.git
synced 2025-07-29 17:57:53 +08:00
internal_ui_inspector.md: "Settings" add "file types"
This commit is contained in:
parent
4ec6bcb73c
commit
94511c8bd6
@ -59,6 +59,7 @@ Some additional properties are available when inspecting Settings dialog (2023.1
|
||||
| Settings page | Properties | Reference |
|
||||
|-----------------------------------------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|---------------------------------------------------------------------|
|
||||
| _All settings_ | <control>Configurable class</control> - [`Configurable`](%gh-ic%/platform/ide-core/src/com/intellij/openapi/options/Configurable.java) class<br/><control>Configurable ID</control> - `id` attribute<br/><control>Configurable weight</control> - `groupWeight` attribute | [](settings_guide.md) |
|
||||
| <ui-path>Plugins</ui-path> | <control>Plugin ID</control> - Plugin `<id>`<br/><control>Plugin Dependencies</control> - IDs of dependent plugins | [](plugin_configuration_file.md) |
|
||||
| <ui-path>Editor | Color Scheme</ui-path> | <control>Text Attributes Key</control> - [`TextAttributesKey`](%gh-ic%/platform/core-api/src/com/intellij/openapi/editor/colors/TextAttributesKey.java) external name | [](syntax_highlighting_and_error_highlighting.md#textattributeskey) |
|
||||
| <ui-path>Editor | File Types</ui-path> | <control>FileTypeID</control> - `FileType.getName()`<br/><control>FileType Class</control> - [`FileType`](%gh-ic%/platform/core-api/src/com/intellij/openapi/fileTypes/FileType.java) implementation | [](registering_file_type.md) |
|
||||
| <ui-path>Editor | Inspections</ui-path> | <control>Inspection key</control> - Inspection `id`<br/><control>Inspection tool class</control> - Inspection implementation | [](code_inspections.md) |
|
||||
| <ui-path>Plugins</ui-path> | <control>Plugin ID</control> - Plugin `<id>`<br/><control>Plugin Dependencies</control> - IDs of dependent plugins | [](plugin_configuration_file.md) |
|
||||
|
Loading…
x
Reference in New Issue
Block a user