MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-14 18:05:27 +07:00
Code Issues Packages Projects Releases Wiki Activity

Move ActionScript Profiler plugin source code to a different repository

Browse Source
This commit is contained in:
Alexander Doroshko
2018-12-27 13:13:10 +03:00
parent 1b7c7115c6
commit a1fe9a2dff
1 changed files with 0 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
resources-en/src/search/searchableOptions.xml
View File

@@ -27904,19 +27904,6 @@
<option name="ssh" hit="SSH Terminal" />
<option name="terminal" hit="SSH Terminal" />
</configurable>
<configurable id="asprofile.settings" configurable_name="ActionScript Profiler">
<option name="" hit="" />
<option name="actionscript" hit="ActionScript Profiler" />
<option name="profiler" hit="ActionScript Profiler" />
<option name="connection" hit="Connection" />
<option name="cfg" hit="Custom mm.cfg file location:" />
<option name="custom" hit="Custom mm.cfg file location:" />
<option name="file" hit="Custom mm.cfg file location:" />
<option name="location" hit="Custom mm.cfg file location:" />
<option name="mm" hit="Custom mm.cfg file location:" />
<option name="host" hit="Host:" />
<option name="port" hit="Port:" />
</configurable>
<configurable id="reference.settings.ide.settings.uml" configurable_name="Diagrams">
<option name="" hit="" />
<option name="default" hit="Default Layout:" />