equal
deleted
inserted
replaced
182 focus-buffer-switcher.shortcut2=A+CIRCUMFLEX |
182 focus-buffer-switcher.shortcut2=A+CIRCUMFLEX |
183 foldPainter=Circle |
183 foldPainter=Circle |
184 gatchan.highlight.overview=false |
184 gatchan.highlight.overview=false |
185 home.shortcut= |
185 home.shortcut= |
186 insert-newline-indent.shortcut= |
186 insert-newline-indent.shortcut= |
187 insert-newline.shortcut=ENTER |
187 insert-newline.shortcut= |
188 isabelle-debugger.dock-position=floating |
188 isabelle-debugger.dock-position=floating |
189 isabelle-documentation.dock-position=right |
189 isabelle-documentation.dock-position=right |
190 isabelle-output.dock-position=bottom |
190 isabelle-output.dock-position=bottom |
191 isabelle-output.height=174 |
191 isabelle-output.height=174 |
192 isabelle-output.width=412 |
192 isabelle-output.width=412 |