| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
1 parent 20e19df commit fbb9ad9
1 file changed
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -210,8 +210,10 @@ To save a file, either click on the "Save" button or choose "File, Save." If you | |||
| 210 | 210 | <imagedata fileref="SystemInInputInteractionsPane.jpg" format="jpg" width="80%" /> | |
| 211 | 211 | </imageobject> | |
| 212 | 212 | </mediaobject> | |
| 213 | - | ||
| 214 | - </section> | ||
| 213 | + | ||
| 214 | + <para>In newer versions of DrJava, the input box appears in the Interactions Pane and has no "Done" button. To close out of it before hitting "Enter", there is a customizable keyboard shortcut whose default is <filename> Ctrl-D </filename>. The shortcut is labeled <filename>Close System.in</filename> in the Key Bindings section of the preferences</para> | ||
| 215 | + | ||
| 216 | + </section> | ||
| 215 | 217 | ||
| 216 | 218 | ||
| 217 | 219 | <section id="findandreplace"> | |
| Back | FazBrowse Home | New Git URL |
0 commit comments