Merge pull request #5203 from ethereum/doc_keys

changed AI doc key combination
pull/5214/head
STetsing 2 months ago committed by GitHub
commit bc83435662
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  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
contextMenuGroupId: 'gtp', // create a new grouping
keybindings: [
// Keybinding for Ctrl + D
monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.KeyD
// Keybinding for Ctrl + H
monacoRef.current.KeyMod.CtrlCmd | monacoRef.current.KeyCode.KeyH,
],
run: async () => {
const unsupportedDocTags = ['@title'] // these tags are not supported by the current docstring parser

Loading…
Cancel
Save