14
15
public RoundBox (Orientation or, int spacing) {
23
public void pack_start (Widget widget, bool expand, bool fill, int space) {
24
container.pack_start(widget, expand, fill, space);
20
27
private void draw_rounded_rectangle (Colors rgb, uint x, uint y, int width, int height, double radius) {
21
30
if (rgb == Colors.BACKGROUND)
33
color = { 0.8, 0.8, 0.8, 1 };
27
43
cr.move_to (x + radius, y);