troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

Make column width in result table adjustable #33

Open cwerling opened 9 years ago

cwerling commented 9 years ago

although mouse cursor provides a visual hint suggesting that column width can be increased, dragging the mouse only moves the entire result window (drag events are not delegated to the table?)