+void draw_rect_outline(frontend *fe, int x, int y, int w, int h, int colour)
+{
+ int x0 = x, x1 = x+w-1, y0 = y, y1 = y+h-1;
+
+ draw_line(fe, x0, y0, x0, y1, colour);
+ draw_line(fe, x0, y1, x1, y1, colour);
+ draw_line(fe, x1, y1, x1, y0, colour);
+ draw_line(fe, x1, y0, x0, y0, colour);
+}
+