Log in
Skip to main content
Skip to sidebar
Dashboards
Projects
Issues
Help
Jira Core help
Keyboard Shortcuts
About Jira
Jira Credits
Log In
Watched Subcomponents
JDK
JDK-8167640
jshell tool: external editor temp file should be *.java
Log In
Closed
Export
null
XML
Word
Printable
Details
Type:
Bug
Resolution:
Fixed
Priority:
P3
Fix Version/s:
9
Affects Version/s:
9
Component/s:
tools
Labels:
autoverify
jshell-tool
noreg-hard
Subcomponent:
jshell
Resolved In Build:
b142
Verification:
Not verified
Description
Generated file should end in ".java" for editors (like jEdit) which key formatting off the filename extension.
Attachments
Activity
People
Assignee:
Robert Field (Inactive)
Reporter:
Robert Field (Inactive)
Votes:
0
Vote for this issue
Watchers:
3
Start watching this issue
Dates
Created:
2016-10-12 15:49
Updated:
2016-10-27 13:02
Resolved:
2016-10-24 17:08