diff options
| author | Andreas Hansson <andreas.hansson@arm.com> | 2013-09-04 13:23:00 -0400 |
|---|---|---|
| committer | Andreas Hansson <andreas.hansson@arm.com> | 2013-09-04 13:23:00 -0400 |
| commit | 3b90f52b6155e038089c8816beb8498cacdf9f9e (patch) | |
| tree | edffde11c9a3cde0aa7127a39a502c0591d32cfe /src/base/userinfo.cc | |
| parent | fad36b35c6dc1bfe7406ba15f578b964423a0460 (diff) | |
| download | gem5-3b90f52b6155e038089c8816beb8498cacdf9f9e.tar.xz | |
util: Add ini string as tooltip info in dot output
This patch adds the config ini string as a tooltip that can be
displayed in most browsers rendering the resulting svg. Certain
characters are modified for HTML output.
Tested on chrome and firefox.
Diffstat (limited to 'src/base/userinfo.cc')
0 files changed, 0 insertions, 0 deletions