Skip to content
Commit 5845a0dd authored by Todd Nowacki's avatar Todd Nowacki Committed by Milian Wolff
Browse files

Add buttons to jump to next/prev outputmark in an outputwidget.

I added buttons to all output widgets instead of the one for the
build tool view; we can easily restrict this to a certain type of
view if we want to.

The only problem with the buttons is that they are enabled even if
there are no outputmarks to jump to. At the time of creating this
diff, I did not see an easy way to find the number of outputmark.

REVIEW: 115600
BUG: 330206
parent 4fd7b16f
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment