Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8167640

jshell tool: external editor temp file should be *.java

XMLWordPrintable

    • b142
    • Not verified

      Generated file should end in ".java" for editors (like jEdit) which key formatting off the filename extension.

            rfield Robert Field (Inactive)
            rfield Robert Field (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: