| version 1.4 | | version 1.5 |
|---|
| | |
| ("edit",topLevelShellWidgetClass, self->app->shell, | | ("edit",topLevelShellWidgetClass, self->app->shell, |
| XtNwidth, | | XtNwidth, |
| ((unsigned int)self->emap->mapx > self->app->res.mapWidth ? | | ((unsigned int)self->emap->mapx > self->app->res.mapWidth ? |
| self->app->res.mapWidth * FONTSIZE : | | self->app->res.mapWidth * FontSize : |
| self->emap->mapx * FONTSIZE ) + 16,/* kludge */ | | self->emap->mapx * FontSize ) + 16,/* kludge */ |
| XtNheight, | | XtNheight, |
| ((unsigned int)self->emap->mapy > self->app->res.mapHeight ? | | ((unsigned int)self->emap->mapy > self->app->res.mapHeight ? |
| self->app->res.mapHeight * FONTSIZE : | | self->app->res.mapHeight * FontSize : |
| self->emap->mapy * FONTSIZE ) + 46,/* kludge */ | | self->emap->mapy * FontSize ) + 46,/* kludge */ |
| XtNiconPixmap,bitmaps.edit, | | XtNiconPixmap,bitmaps.edit, |
| NULL); | | NULL); |
| vbox = XtVaCreateManagedWidget ("vbox", panedWidgetClass, | | vbox = XtVaCreateManagedWidget ("vbox", panedWidgetClass, |