repo.or.cz
/
anjuta-git-plugin.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Integrate removing files with the file manager
[anjuta-git-plugin.git]
/
plugins
/
terminal
/
anjuta-terminal-plugin.ui
blob
5842d04b0d958bcc08e6a1a3fe505255e3060079
1
<!--*- xml -*-->
2
<ui>
3
<popup name="PopupTerminal">
4
<menuitem name="Copy" action="ActionCopyFromTerminal" />
5
<menuitem name="Paste" action="ActionPasteInTerminal" />
6
</popup>
7
</ui>