• Mathieu Tillet's avatar
    Add a signal for pixel masking · 1ab96213
    Mathieu Tillet authored
    When picking a single pixel, 2 behaviours are possible : either it's for
    masking, and then the picked pixel must be masked on screen immediately,
    or it's for picking and then nothing happens to the instrument.
    Separating the signals allows for calling the appropriate slot depending
    on the current tab.