Skip to content

Move google-java-format settings page to Tools section. - #1445

Merged
copybara-service[bot] merged 1 commit into
masterfrom
test_963854682
Aug 13, 2026
Merged

Move google-java-format settings page to Tools section.#1445
copybara-service[bot] merged 1 commit into
masterfrom
test_963854682

Conversation

@copybara-service

@copybara-service copybara-service Bot commented Aug 13, 2026

Copy link
Copy Markdown

Move google-java-format settings page to Tools section.

This places the settings page under the "Tools" section in the IntelliJ
settings dialog, making it consistent with other plugins.

Fixes #1307

@copybara-service
copybara-service Bot force-pushed the test_963854682 branch 3 times, most recently from 2806f34 to 8292cc1 Compare August 13, 2026 06:42
This places the settings page under the "Tools" section in the IntelliJ
settings dialog, making it consistent with other plugins.

Fixes #1307

PiperOrigin-RevId: 963884199
@copybara-service
copybara-service Bot merged commit c6c150d into master Aug 13, 2026
@copybara-service
copybara-service Bot deleted the test_963854682 branch August 13, 2026 06:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

IntelliJ plugin settings page should be placed inside the Tools section

1 participant