diff options
| author | hjk <[email protected]> | 2014-05-26 15:24:27 +0200 |
|---|---|---|
| committer | hjk <[email protected]> | 2014-05-26 16:26:17 +0200 |
| commit | ddfc1f8d27173f80f9313fd6d43ccd47449de1fc (patch) | |
| tree | 982674763d1df24cfb20003c56edf6efcfe60018 /src/plugins/debugger/disassembleragent.h | |
| parent | 7e47a8a453cb7b2ade37d3d12d8476b380443e46 (diff) | |
Disassembler: Force disassembler reload when switching output flavor
Change-Id: I8356cba5766a0afc519c66f120c24d1755c840e4
Reviewed-by: Christian Stenger <[email protected]>
Reviewed-by: hjk <[email protected]>
Diffstat (limited to 'src/plugins/debugger/disassembleragent.h')
| -rw-r--r-- | src/plugins/debugger/disassembleragent.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/plugins/debugger/disassembleragent.h b/src/plugins/debugger/disassembleragent.h index 98e7b882767..414de5941fe 100644 --- a/src/plugins/debugger/disassembleragent.h +++ b/src/plugins/debugger/disassembleragent.h @@ -67,6 +67,9 @@ public: void cleanup(); bool isMixed() const; + // Force reload, e.g. after changing the output flavour. + void reload(); + private: void setContentsToDocument(const DisassemblerLines &contents); int indexOf(const Location &loc) const; |