178 insert-newline-indent.shortcut= |
178 insert-newline-indent.shortcut= |
179 insert-newline.shortcut=ENTER |
179 insert-newline.shortcut=ENTER |
180 isabelle-output.dock-position=bottom |
180 isabelle-output.dock-position=bottom |
181 isabelle-output.height=174 |
181 isabelle-output.height=174 |
182 isabelle-output.width=412 |
182 isabelle-output.width=412 |
|
183 isabelle-readme.dock-position=bottom |
183 isabelle-session.dock-position=bottom |
184 isabelle-session.dock-position=bottom |
184 isabelle-readme.dock-position=bottom |
|
185 line-end.shortcut=END |
185 line-end.shortcut=END |
186 line-home.shortcut=HOME |
186 line-home.shortcut=HOME |
187 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel |
187 lookAndFeel=com.sun.java.swing.plaf.nimbus.NimbusLookAndFeel |
188 mode.isabelle.customSettings=true |
|
189 mode.isabelle.folding=sidekick |
|
190 mode.isabelle.sidekick.showStatusWindow.label=true |
|
191 print.font=IsabelleText |
188 print.font=IsabelleText |
192 restore.remote=false |
189 restore.remote=false |
193 restore=false |
190 restore=false |
194 sidekick-tree.dock-position=right |
191 sidekick-tree.dock-position=right |
195 sidekick.auto-complete-popup-get-focus=true |
192 sidekick.auto-complete-popup-get-focus=true |