diff options
author | Peter Wu <peter@lekensteyn.nl> | 2014-06-19 01:09:59 +0200 |
---|---|---|
committer | Peter Wu <peter@lekensteyn.nl> | 2014-06-19 01:09:59 +0200 |
commit | 5df0397960b00b7d82c098204aa52577dbc17046 (patch) | |
tree | dfdfb8e8e321076a2688852bb372ceef3ddb9edc /git | |
parent | 57cc955807e31b17659000df56cf7e7d7d1a2ba6 (diff) | |
download | scripts-5df0397960b00b7d82c098204aa52577dbc17046.tar.gz |
interrupts-graph.py: make selection larger
Just changing the marker does not make selections more apparent.
Increase line thickness and zorder to increase visibility.
Diffstat (limited to 'git')
0 files changed, 0 insertions, 0 deletions