Warning, /utilities/kate/addons/konsole/ui.rc is written in an unsupported language. File is not indexed. 

0001 <?xml version="1.0" encoding="UTF-8"?>
0002 <!DOCTYPE gui SYSTEM "kpartgui.dtd">
0003 <gui name="katekonsole" library="katekonsoleplugin" version="6" translationDomain="katekonsoleplugin">
0004   <MenuBar>
0005     <Menu name="tools">
0006       <text>&amp;Tools</text>
0007       <Action name="katekonsole_tools_toggle_visibility" group="tools_konsole"/>
0008       <Action name="katekonsole_tools_toggle_focus" group="tools_konsole"/>
0009       <Action name="katekonsole_tools_pipe_to_terminal" group="tools_konsole"/>
0010       <Action name="katekonsole_tools_sync" group="tools_konsole"/>
0011       <Action name="katekonsole_tools_run" group="tools_konsole"/>
0012     </Menu>
0013   </MenuBar>
0014 </gui>
0015 <!-- kate: space-indent on; indent-width 4; replace-tabs on; -->