diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2005-06-10 04:17:34 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2005-06-10 04:17:34 +0000 |
| commit | 6f3cd8206867e63593c11fbefa03c5cc35d66ac1 (patch) | |
| tree | 38de968f5c64ffc100d1d04601dbc0fb909cb050 /xgps.c | |
| parent | fe1d49417023d154942cae0556ca0f44204eb6fc (diff) | |
| download | gpsd-6f3cd8206867e63593c11fbefa03c5cc35d66ac1.tar.gz | |
Restore a damaged bit of the display.
Diffstat (limited to 'xgps.c')
| -rw-r--r-- | xgps.c | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -71,9 +71,8 @@ static Pixel get_pixel(Widget w, char *resource_value) if (cstatus == (Boolean)False) { fprintf(stderr, "Unknown color: %s", resource_value); color.pixel = BlackPixelOfScreen(DefaultScreenOfDisplay(XtDisplay(w))); - return (color.pixel); }; - return 0; + /*@i1@*/return (color.pixel); } static void build_gui(Widget toplevel) |