revert pixfader to sane state (reverts parts of bb70d426)

diff --git a/libs/gtkmm2ext/pixfader.cc b/libs/gtkmm2ext/pixfader.cc
index d0271cc70054a5f8e74849c894e849d058cf6d08..c7cc85193e06a6586ae5b17ce6524f20db15fa45 100644 (file)
--- a/libs/gtkmm2ext/pixfader.cc
+++ b/libs/gtkmm2ext/pixfader.cc
@@ -234,11 +234,10 @@ PixFader::on_expose_event (GdkEventExpose* ev)
        cairo_set_source_rgba (cr, 0, 0, 0, 1.0);
 
        cairo_matrix_t matrix;
-       Gtkmm2ext::rounded_rectangle (cr, CORNER_OFFSET, CORNER_OFFSET, w-CORNER_SIZE, h-CORNER_SIZE, CORNER_RADIUS + 1.5);
+       Gtkmm2ext::rounded_rectangle (cr, CORNER_OFFSET, CORNER_OFFSET, w-CORNER_SIZE, h-CORNER_SIZE, CORNER_RADIUS);
        // we use a 'trick' here: The stoke is off by .5px but filling the interior area
        // after a stroke of 2px width results in an outline of 1px
-       cairo_stroke (cr);
-       Gtkmm2ext::rounded_rectangle (cr, CORNER_OFFSET, CORNER_OFFSET, w-CORNER_SIZE, h-CORNER_SIZE, CORNER_RADIUS);
+       cairo_stroke_preserve(cr);
 
        if (_orien == VERT) {