view src/point.h @ 53850:d19a78b5f1e5

(gud-jdb-marker-filter): Add period as optional thousands separator; fixes <class>:<line-number> regexp for non-english locales.
author Nick Roberts <nickrob@snap.net.nz>
date Sun, 08 Feb 2004 15:30:42 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line source

#define point_width 5
#define point_height 19
static char point_bits[] = {
   0x1f, 0x0e, 0x0e, 0x04, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
   0x00, 0x00, 0x04, 0x04, 0x0e, 0x0e, 0x1f};

/* arch-tag: a8dad510-7254-4964-b71e-bb6f81cce572
   (do not change this comment) */