products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/keymaps image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Emacs_keys.props   Sprache: Unknown

Spracherkennung für: .props vermutete Sprache: Haskell {Haskell[113] Fortran[238] Ada[414]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#jEdit's keymap Emacs
action-bar.shortcut=C+ENTER
activator.reloader.shortcut=CA+r
backspace.shortcut=BACK_SPACE
backspace-word.shortcut=C+BACK_SPACE
buffer-options.shortcut=M+p
buffertabs.toggle-vis.shortcut2=CA+t
buffertabs.toggle-vis.shortcut=CS+t
C/Include_Guard.shortcut=CA+i
clear-register.shortcut=C+r C+l
Clipboard/Cut_Lines.shortcut=C+m C+k
closeall-except-active.shortcut=ESCAPE c
close-buffer.shortcut=C+x c
close-docking-area.shortcut=ESCAPE ESCAPE
close-view.shortcut=C+x C+v
collapse-all-folds.shortcut=CA+LEFT
collapse-fold.shortcut=A+BACK_SPACE
console.shortcut=A+x
copy-append-string-register.shortcut=C+r C+a
copy.shortcut2=CS+c
copy.shortcut=C+c C+c
copy-string-register.shortcut=C+r 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.shortcut=C+c C+x
C/Toggle_Header_Source.shortcut2=CA+h
C/Toggle_Header_Source.shortcut=A+h
delete-end-line.shortcut=CS+DELETE
delete.shortcut2=C+d
delete.shortcut=DELETE
delete-start-line.shortcut=CS+BACK_SPACE
delete-word-std.shortcut=C+DELETE
document-end.shortcut=C+END
document-end.shortcut2=ESCAPE >
document-home.shortcut=C+HOME
document-home.shortcut2=ESCAPE <
Editing/Move_Lines_Down.shortcut=C+m C+d
Editing/Move_Lines_Up.shortcut=C+m C+u
Emacs/Emacs_Backward_Sentence.shortcut=A+a
Emacs/Emacs_Capitalize_Word.shortcut=A+c
Emacs/Emacs_Center_Line.shortcut=A+s
Emacs/Emacs_Downcase_Word.shortcut=A+l
Emacs/Emacs_Exchange_Point_and_Mark.shortcut=C+x C+x
Emacs/Emacs_Fixup_Whitespace.shortcut=A+SPACE
Emacs/Emacs_Forward_Sentence.shortcut=A+e
Emacs/Emacs_Insert_File.shortcut=C+x i
Emacs/Emacs_Kill_Line.shortcut=C+k
Emacs/Emacs_Kill_Region.shortcut=C+w
Emacs/Emacs_Kill_Ring_Save.shortcut=A+w
Emacs/Emacs_Kill_Sentence.shortcut=A+k
Emacs/Emacs_Next_Line.shortcut=C+n
Emacs/Emacs_Previous_Line.shortcut=C+p
Emacs/Emacs_Open_Line.shortcut=C+o
Emacs/Emacs_Set_Mark.shortcut=C+SPACE
Emacs/Emacs_Set_Mark.shortcut2=ESCAPE m
Emacs/Emacs_Set_Wrap.shortcut=C+x f
Emacs/Emacs_Transpose_Chars.shortcut=C+t
Emacs/Emacs_Transpose_Lines.shortcut=C+x C+t
Emacs/Emacs_Upcase_Word.shortcut=A+u
Emacs_Fixup_Whitespace.shortcut=A+SPACE
end.shortcut=END
error-list-next-error.shortcut=F4
error-list-toggle.shortcut2=C+x e
error-list-toggle.shortcut=CA+e
exit.shortcut2=C+x C+c
exit.shortcut=C+q C+q
expand-abbrev.shortcut2=C+.
expand-abbrev.shortcut=C+PERIOD
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
Files/Send_Buffer_To_Next_Split.shortcut=C+x b
find-next.shortcut=F3
find-prev.shortcut=S+F3
find.shortcut2=CS+f
find.shortcut=C+r C+r
format-paragraph.shortcut2=A+q
combined-options.shortcut=A+o
combined-options.shortcut2=C+F12
goto-line.shortcut=C+g
goto-line.shortcut2=A+g
help.shortcut=F1
home.shortcut=HOME
hypersearch.shortcut=C+PERIOD
indent.shortcut=C+x C+b
indent-lines.shortcut=TAB
insert-literal.shortcut=C+6
insert-newline-indent.shortcut=ENTER
insert-newline.shortcut=S+ENTER
insert-tab.shortcut=C+i
Interface/Decrease_Font_Size.shortcut=C+SUBTRACT
Interface/Increase_Font_Size.shortcut=C+ADD
Interface/Reset_TextArea.shortcut=C+x C+r
Interface/Splitpane_Grow.shortcut=C+x C+6
javasidekick-insert-import.shortcut=AS+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.shortcut=C+m C+l
layout-load.shortcut=ESCAPE l
layout-save.shortcut=ESCAPE 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.back.shortcut2=A+LEFT
navigator.back.shortcut=A+KP_LEFT
navigator.combinedList.shortcut=C+x C+LEFT
navigator.forwardList.shortcut=C+x C+RIGHT
navigator.forward.shortcut2=A+RIGHT
navigator.forward.shortcut=A+KP_RIGHT
navigator.gotoLine.shortcut=C+g
new-file.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.shortcut=DOWN
next-page.shortcut2=C+v
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+x C+f
overwrite.shortcut=INSERT
paste.shortcut=C+y
paste-previous.shortcut=A+y
paste-string-register.shortcut=C+r C+v
prev-buffer.shortcut=C+PAGE_UP
prev-char.shortcut2=C+b
prev-char.shortcut=LEFT
prev-line.shortcut=UP
prev-page.shortcut2=A+v
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.shortcut=C+LEFT
prev-word-std-after.shortcut=A+b
print.shortcut=PRINTSCREEN
projectviewer_parent-group.shortcut=A+UP
projectviewer_set-active.shortcut=A+DOWN
projectviewer_wrapper_search_project.shortcut=C+F6
Properties/Create_Plugin_Announcement.shortcut2=C+q c
Properties/Create_Plugin_Announcement.shortcut=A+BACK_QUOTE
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
save-all.shortcut=C+x ENTER
save-as.shortcut=C+x C+w
save.shortcut2=C+x C+BACK_SLASH
save.shortcut=C+s
scroll-and-center.shortcut=C+l
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=ESCAPE 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.shortcut=CS+LEFT
set-view-title.shortcut=A+F2
shift-left.shortcut2=S+TAB
show-call-tree.shortcut=CS+t
show-context-menu.shortcut=CONTEXT_MENU
show-references.shortcut=CS+r
sidekick-next-asset.shortcut=C+j C+n
sidekick-prev-asset.shortcut=C+j C+p
sidekick-tree-toggle.shortcut2=C+F2
sidekick-tree-toggle.shortcut=CA+s
smart-end.shortcut=C+e
smart-home.shortcut=C+a
smart-open-dialog.shortcut=C+x C+o
spell-check-selection.shortcut=F7
split-horizontal.shortcut=C+2
split-horizontal.shortcut2=C+x 2
unsplit-current.shortcut2=C+x 1
split-vertical.shortcut=C+3
stop-recording.shortcut=C+m C+s
tabs-to-spaces.shortcut=C+x C+t
delete-word.shortcut2=A+d
toggle-buffer-switcher.shortcut=ESCAPE 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
undo.shortcut2=C+SLASH
unsplit-current.shortcut=C+0
unsplit.shortcut=C+1
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
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.shortcut2=CS+m
xml-match-tag.shortcut=CS+M

[ Dauer der Verarbeitung: 0.62 Sekunden  ]