Skip to content

docs: document renamed devtools project root setting - #1197

Closed
laurenic0l wants to merge 1 commit into
mainfrom
docs/1192-devtools-project-root
Closed

laurenic0l wants to merge 1 commit into
mainfrom
docs/1192-devtools-project-root

Conversation

@laurenic0l

Copy link
Copy Markdown
Contributor

Closes #1192

webforj/webforj#1634 renames the project root setting to webforj.devtools.project-root.

Changes

  • craftforj/configuration.md: Project root table uses the new key, adds a webforj.conf example and a Spring note, and an info admonition explaining that webforj.devtools.craftforj.project-root is a deprecated fallback that logs a warning, and that the new key wins when both are set.
  • configuration/properties.md: replaces the old row with webforj.devtools.project-root (since 26.03), placed after the craftforj.* rows to keep alphabetical order, and mentions the deprecated key.

Behavior verified against ProjectRootResolver and the Spring WebforjConfigBuilder / SpringConfigurationProperties mappings on webforj main.

🤖 Generated with Claude Code

https://claude.ai/code/session_01PAaasiSmczBtanP7ofGMNe


Generated by Claude Code

webforj/webforj#1634 moves the project root setting to
webforj.devtools.project-root. Update the craftforJ configuration page
and the property reference, and note that the former craftforJ key is a
deprecated fallback that the new key overrides.

Closes #1192

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01PAaasiSmczBtanP7ofGMNe
@laurenic0l laurenic0l closed this Oct 9, 2026
@laurenic0l
laurenic0l deleted the docs/1192-devtools-project-root branch October 9, 2026 15:49
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.

Document the renamed project root setting

1 participant