-
Notifications
You must be signed in to change notification settings - Fork 381
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update and improve help info logs #10081
base: main
Are you sure you want to change the base?
Conversation
0d70267
to
c6beedc
Compare
GWTProblem.recordError(node, cud, error, new InstalledHelpInfo( | ||
"jsoRestrictions.html")); | ||
GWTProblem.recordError(node, cud, error, new GwtprojectOrgHelpInfo( | ||
"/doc/latest/DevGuideCodingBasicsJSNI.html")); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
why not link to the jsoRestrictions.html file that was moved?
* Any violations found are attached as errors on the | ||
* CompilationUnitDeclaration. | ||
* | ||
* @see <a | ||
* href="http://code.google.com/p/google-web-toolkit/wiki/OverlayTypes">Overlay | ||
* types design doc</a> | ||
* @see jsoRestrictions.html | ||
* @see <a href="https://www.gwtproject.org/doc/latest/DevGuideCodingBasicsJSNI.html">jsoRestrictions.html</a> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could point to the same file after moving it.
|
||
public GwtprojectOrgHelpInfo(String relativeUrl) { | ||
try { | ||
url = new URL("https://gwtproject.org" + relativeUrl); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
All constructor calls seem to start with /doc/latest/gwt-dev-help/, can we include that in the path here?
If we ever want an absolute link to somewhere else, we could have a factory method for "help(pagename)" vs "article(path)"?
Update, migrate, improve log help links
Fix #10042
See also gwtproject/gwt-site#386