| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/keymaps/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: HeartController.vdmpp Sprache: VDM
|
Untersuchungsergebnis.props Download desHaskell {Haskell[202] Fortran[283] BAT[462]}zum Wurzelverzeichnis wechseln # Alan's jEdit Keymap C/Toggle_Header_Source.shortcut2=CA+h Clipboard/Cut_Lines.shortcut=C+m C+k Editing/Duplicate_Lines_Above.shortcut=C+w u Editing/Duplicate_Lines_Below.shortcut=C+w b Editing/Emacs-Ctrl-K.shortcut=C+k Editing/Go_to_Offset.shortcut=CS+g Editing/Move_Lines_Down.shortcut=C+m C+d Editing/Move_Lines_Up.shortcut=C+m C+u Emacs/Emacs_Downcase_Word.shortcut=A+l Emacs/Emacs_Insert_File.shortcut=C+x C+i Emacs/Emacs_Upcase_Word.shortcut=A+u Files/Browse_Buffer_Directory.shortcut=CA+b Files/Send_Buffer_To_Next_Split.shortcut=C+w C+b Interface/Decrease_Font_Size.shortcut=C+SUBTRACT Interface/Decrease_Font_Size.shortcut2=C+MINUS Interface/Increase_Font_Size.shortcut=C+ADD Interface/Increase_Font_Size.shortcut2=C+EQUALS Interface/Reset_TextArea.shortcut=C+x C+r Interface/Splitpane_Grow.shortcut=C+x C+6 SuperAbbrevs.shiftTab.shortcut=S+TAB SuperAbbrevs.tab.shortcut=TAB Text/Insert_Date.shortcut=A+d action-bar.shortcut=C+ENTER activator.reloader.shortcut=CA+r assistant.shortcut=F2 backspace-word-std-after.shortcut=C+BACK_SPACE backspace.shortcut=BACK_SPACE buffer-options.shortcut=M+p buffertabs.toggle-vis.shortcut2=CA+t buffertabs.toggle-vis.shortcut=CS+t chdir-pv-root.shortcut=A+c A+r chdir-pv-selected.shortcut=A+c A+n clear-register.shortcut=C+r C+l close-buffer.shortcut2=CS+w close-buffer.shortcut=C+w C+w close-docking-area.shortcut=ESCAPE close-view.shortcut=C+w C+v closeall-bufferset.shortcut=C+x C+a closeall-except-active.shortcut=C+w C+c collapse-all-folds.shortcut=CA+LEFT collapse-fold.shortcut=A+BACK_SPACE combined-options.shortcut2=C+F12 combined-options.shortcut=A+o commando-compile.shortcut=C+F9 commando.make.shortcut=C+F10 commando.xmllint.shortcut=C+x C+l console-clear.shortcut=A+c A+c console.shell.BeanShell-show.shortcut=A+c b console.shell.JavaScript-show.shortcut=A+c j console.shell.Python-show.shortcut=A+c p console.shell.System-show.shortcut=A+c s console.shell.ssh-show.shortcut=A+c h console.shortcut=A+x copy-append-string-register.shortcut=C+r C+a copy-string-register.shortcut=C+r C+c copy.shortcut2=CS+c copy.shortcut=C+c cscopefinder-find-calling.shortcut=CS+r ctags-interface-change-db-settings.shortcut=C+F11 ctags-interface-complete-from-db.shortcut=CS+SPACE ctags-interface-jump-to-tag.shortcut=CS+d ctags-interface-preview-toggle.shortcut=C+q C+t cut-string-register.shortcut=C+r C+x cut.shortcut2=C+x C+x cut.shortcut=CS+x debugger-finish.shortcut=C+q F9 debugger-gdb-output-toggle.shortcut=C+q g debugger-go.shortcut=C+q F5 debugger-next.shortcut=C+q n debugger-program-output-toggle.shortcut=C+q o debugger-show-locals-toggle.shortcut=C+q l debugger-show-variables-toggle.shortcut=C+q v debugger-toggle-breakpoint.shortcut=C+F8 debugger-until.shortcut=C+q F6 debugger-watches-toggle.shortcut=C+q e delete-end-line.shortcut=CS+DELETE delete-start-line.shortcut=CS+BACK_SPACE delete-word-std.shortcut=C+DELETE delete.shortcut2=C+d delete.shortcut=DELETE document-end.shortcut=C+END document-home.shortcut=C+HOME ebrowse.buffer.shortcut=C+x C+o ebrowse.markendcut.shortcut=CS+k editpane-close-buffer.shortcut=C+w C+b end.shortcut=END error-list-next-error.shortcut=F4 error-list-toggle.shortcut2=C+x e error-list-toggle.shortcut=CA+e escape-unicode-selection.shortcut=C+u C+e eval-selection.shortcut=A+e exit.shortcut2=C+x C+c exit.shortcut=C+q C+q expand-abbrev.shortcut2=C+; expand-abbrev.shortcut=C+SEMICOLON expand-all-folds.shortcut2=CS+ENTER expand-all-folds.shortcut=CA+RIGHT expand-fold.shortcut=AS+ENTER expand-one-level.shortcut=A+ENTER fastopen.shortcut=C+x C+o find-next.shortcut=F3 find-prev.shortcut=S+F3 find.shortcut2=CS+f find.shortcut=C+r C+r format-paragraph.shortcut2=A+j git_blame.shortcut=C+x C+b git_commit.shortcut=C+x C+g git_grep_sel.shortcut=C+F6 global-close-buffer.shortcut2=C+x c goto-line.shortcut=C+g help.shortcut=F1 home.shortcut=HOME hypersearch.shortcut=C+PERIOD insert-literal.shortcut=C+6 insert-newline-indent.shortcut=ENTER insert-newline.shortcut=S+ENTER insert-tab-indent.shortcut=TAB insert-tab.shortcut=C+i jdiff.next-diff.shortcut=C+q C+n jdiff.prev-diff.shortcut=C+q C+p join-lines.shortcut=C+x C+j last-macro.shortuct=C+m C+l layout-load.shortcut=C+w l layout-save.shortcut=C+w s lucene.search-word-at-caret.shortcut=F6 marker-set-manager-toggle.shortcut=C+m C+t markersets-jump-to-marker.shortcut=C+m C+g markersets-next-marker.shortcut=C+m C+n markersets-prev-marker.shortcut=C+m C+p markersets-toggle-marker.shortcut=C+m C+a match-bracket.shortcut2=C+m C+b match-bracket.shortcut=C+m C+m name.shortcut=A+2 navigator-pop-position.shortcut2=C+m C+MINUS navigator-pop-position.shortcut=C+m - navigator-push-position.shortcut2=C+m a navigator-push-position.shortcut=C+m C+EQUALS navigator-swap-caret-and-top.shortcut=C+m s navigator.back.shortcut2=A+LEFT navigator.back.shortcut=A+KP_LEFT navigator.backFile.shortcut=C+x C+LEFT navigator.forward.shortcut2=A+RIGHT navigator.forward.shortcut=A+KP_RIGHT navigator.forwardFile.shortcut=C+x C+RIGHT navigator.gotoLine.shortcut=C+g new-file-in-mode.shortcut=A+n new-plain-view.shortcut=CA+n new-view.shortcut2=CS+N new-view.shortcut=CS+n next-buffer.shortcut=C+PAGE_DOWN next-char.shortcut2=C+f next-char.shortcut=RIGHT next-fold.shortcut=C+m C+f next-line.shortcut2=C+n next-line.shortcut=DOWN next-page.shortcut=PAGE_DOWN next-paragraph.shortcut=C+DOWN next-textarea.shortcut2=C+x C+n next-textarea.shortcut=C+x n next-word-std.shortcut2=A+f next-word-std.shortcut=C+RIGHT open-file.shortcut=C+o open-moin-page.shortcut=C+x C+w overwrite.shortcut=INSERT paste-string-register.shortcut=C+r C+v paste.shortcut2=C+v paste.shortcut=C+y perspective-load.shortcut=C+w l perspective-save.shortcut=C+w s prev-buffer.shortcut=C+PAGE_UP prev-char.shortcut2=C+b prev-char.shortcut=LEFT prev-line.shortcut2=C+p prev-line.shortcut=UP prev-page.shortcut=PAGE_UP prev-paragraph.shortcut=C+UP prev-textarea.shortcut2=C+x C+p prev-textarea.shortcut=C+x p prev-word-std-after.shortcut2=C+LEFT prev-word-std-after.shortcut=A+b print.shortcut=PRINTSCREEN project-compile.shortcut=F9 project-run.shortcut=C+F5 projectviewer.shortcut=CA+p projectviewer_parent-group.shortcut=A+UP projectviewer_set-active.shortcut=A+DOWN projectviewer_wrapper_edit.shortcut=CS+F12 quick-search.shortcut2=C+BACK_SLASH quick-search.shortcut=A+, recent-buffer.shortcut=A+PAGE_UP recentbufferswitcher.shortcut=C+TAB record-macro.shortcut=C+m C+r redo.shortcut=CS+z reload.shortcut=F5 resplit.shortcut=C+4 save-as.shortcut=C+x C+w save.shortcut2=C+x C+BACK_SLASH save.shortcut=C+s scroll-and-center.shortcut=C+l scroll-down-line.shortcut=C+SLASH scroll-down-page.shortcut=A+SLASH scroll-up-line.shortcut=C+QUOTE select-all.shortcut=A+a select-block.shortcut=C+OPEN_BRACKET select-document-end.shortcut=CS+END select-document-home.shortcut=CS+HOME select-end.shortcut2=AS+x select-end.shortcut=S+END select-home.shortcut2=AS+z select-home.shortcut=S+HOME select-next-char.shortcut2=AS+l select-next-char.shortcut=S+RIGHT select-next-line.shortcut2=AS+k select-next-line.shortcut=S+DOWN select-next-page.shortcut2=AS+a select-next-page.shortcut=S+PAGE_DOWN select-next-paragraph.shortcut=CS+DOWN select-next-word-std.shortcut=CS+RIGHT select-none.shortcut=C+w n select-prev-char.shortcut2=AS+j select-prev-char.shortcut=S+LEFT select-prev-line.shortcut=S+UP select-prev-page.shortcut2=AS+q select-prev-page.shortcut=S+PAGE_UP select-prev-paragraph.shortcut=CS+UP select-prev-word-std-after.shortcut=CS+LEFT select-prev-word.shortcut=CS+LEFT set-view-title.shortcut=A+F2 shift-left.shortcut=S+TAB show-call-tree.shortcut=CS+t show-context-menu.shortcut=CONTEXT_MENU sidekick-next-asset.shortcut=C+j C+n sidekick-prev-asset.shortcut=C+j C+p sidekick-tree-toggle.shortcut2=C+F2 sidekick-tree.shortcut=CA+s sidekick.parser.ctags-switch.shortcut=A+s c sidekick.parser.java-switch.shortcut=A+s j sidekick.parser.outline-switch.shortcut=A+s o sidekick.parser.xml-switch.shortcut=A+s x smart-end.shortcut=C+e smart-home.shortcut=C+a smart-open.shortcut=C+x C+o spell-check-selection.shortcut=F7 split-horizontal.shortcut=C+2 split-vertical.shortcut=C+3 synchroscroll.synchroScroll.shortcut=C+q s tabs-to-spaces.shortcut=C+x C+t toggle-buffer-switcher.shortcut=C+w C+s toggle-dock-areas.shortcut=F12 toggle-dual-diff.shortcut=C+q d toggle-full-screen.shortcut=F11 toggle-rect-select.shortcut=A+BACK_SLASH transpose-chars.shortcut=C+t undo.shortcut=C+z unescape-unicode-selection.shortcut=C+u C+u unsplit-current.shortcut=C+0 unsplit.shortcut=C+1 updater-update-daily.shortcut=C+x C+u updater-update-default.shortcut=C+x C+u vertical-paste-string-register.shortcut=C+r C+p vfs.browser.delete.shortcut=DELETE vfs.browser.home.shortcut=~ vfs.browser.new-directory.shortcut=INSERT vfs.browser.new-file.shortcut=C+n vfs.browser.next.shortcut=A+Right vfs.browser.previous.shortcut=A+Left vfs.browser.reload.shortcut=F5 vfs.browser.rename.shortcut=F2 vfs.browser.roots.shortcut=/ vfs.browser.shortcut=CA+f vfs.browser.synchronize.shortcut=- vfs.browser.up.shortcut=A+Up white-space.toggle-remove-trailing-white-space.shortcut=C+w C+r xfind-prev.shortcut=C+q p xfind-replace-dialog.shortcut=C+r C+f xml-chars-to-entities.shortcut=C+x C+e xml-match-tag.shortcut=CS+M [ zur Elbe Produktseite wechseln0.111Quellennavigators ] |