|
520.
|
|
|
Display in bottom pane
|
|
|
|
Display in bottom pane
|
|
Translated by
Ryan Dwyer
|
|
Reviewed by
Isabell Long
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:87
|
|
521.
|
|
|
Create new document
|
|
|
|
Create new document
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:91
|
|
522.
|
|
|
Append to current document
|
|
|
|
Append to current document
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:95
|
|
523.
|
|
|
Replace current document
|
|
|
|
Replace current document
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:99
|
|
524.
|
|
|
Replace current selection
|
|
|
|
Replace current selection
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:103
|
|
525.
|
|
|
Insert at cursor position
|
|
|
|
Insert at cursor position
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:107
|
|
526.
|
|
|
Manage External Tools
|
|
|
|
Manage External Tools
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:136
plugins/externaltools/tools/tools.ui:146
|
|
527.
|
|
|
_Tools:
|
|
|
|
_Tools:
|
|
Translated and reviewed by
Jeff Bailes
|
|
|
|
Located in
../plugins/externaltools/tools/tools.ui.h:20
|
|
528.
|
|
|
Add a new tool
|
|
|
|
Add a new tool
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:204
|
|
529.
|
|
|
Add Tool
|
|
|
|
Add Tool
|
|
Translated and reviewed by
Joel Pickett
|
|
|
|
Located in
plugins/externaltools/tools/tools.ui:205
|