CursorHeader: Use the same number format as the ruler.
[pulseview.git] / icons / decoder-delete.svg
2013-11-30 Joel HoldsworthCreated DecoderGroupBox widget