Merge pull request #5203 from ethereum/doc_keys

changed AI doc key combination
pull/5370/head
STetsing 5 months ago committed by GitHub
commit be7f468197
  1. 4
      libs/remix-ui/editor/src/lib/remix-ui-editor.tsx

@ -769,8 +769,8 @@ export const EditorUI = (props: EditorUIProps) => {
contextMenuOrder: 0, // choose the order contextMenuOrder: 0, // choose the order
contextMenuGroupId: 'gtp', // create a new grouping contextMenuGroupId: 'gtp', // create a new grouping
keybindings: [ keybindings: [
// Keybinding for Ctrl + D // Keybinding for Ctrl + H
monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.KeyD monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.KeyH,
], ],
run: async () => { run: async () => {
const unsupportedDocTags = ['@title'] // these tags are not supported by the current docstring parser const unsupportedDocTags = ['@title'] // these tags are not supported by the current docstring parser

Loading…
Cancel
Save