diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-12 02:50:18 +0200 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:24:15 +0200 |
| commit | c7cb92f43f97ef5558eee0d7be6f18192134f3ec (patch) | |
| tree | 6475300d3f1ad862a7d4e4514084770e33ce2775 /src/core/frontend/Terminal.cpp | |
| parent | c917381e5eb5700326d2389ffe0874565fc970ac (diff) | |
Replace NodeVector by ManagedVector where NodeVector functionality is not needed. Reduces calls to "Manager.registerEvent" to <10% of original value
Diffstat (limited to 'src/core/frontend/Terminal.cpp')
0 files changed, 0 insertions, 0 deletions