mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
add DeleteLine tip
This commit is contained in:
@@ -171,6 +171,7 @@
|
||||
<tipAndTrick file="RichTextCopy.html"/>
|
||||
<tipAndTrick file="RemoveToolWindowButton.html"/>
|
||||
<tipAndTrick file="GoToFile.html"/>
|
||||
<tipAndTrick file="DeleteLine.html" feature-id="editor.delete.line"/>
|
||||
<tipAndTrick file="HippieCompletion.html"/>
|
||||
<tipAndTrick file="ChangeSignatureAfterMovingParameters.html"/>
|
||||
</extensions>
|
||||
|
||||
Reference in New Issue
Block a user