version 1.13, 2010/08/26 19:07:35
|
version 1.55, 2015/11/26 11:44:30
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.19 |
RPL/2 (R) version 4.1.24 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2015 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 24
|
Line 24
|
|
|
#ifdef MOTIF_SUPPORT |
#ifdef MOTIF_SUPPORT |
# include <X11/Xlib.h> |
# include <X11/Xlib.h> |
# include <Xm/XmAll.h> |
# include "X11/xpm.h" |
# include <X11/xpm.h> |
# include "Xm/XmAll.h" |
#endif |
#endif |
|
|
|
|
void |
void |
encart(struct_processus *s_etat_processus, unsigned long duree) |
encart(struct_processus *s_etat_processus, integer8 duree) |
{ |
{ |
# ifdef MOTIF_SUPPORT |
# ifdef MOTIF_SUPPORT |
# include "rpl.xpm" |
# include "rpl.xpm" |
Line 61 encart(struct_processus *s_etat_processu
|
Line 61 encart(struct_processus *s_etat_processu
|
struct timeval horodatage_initial; |
struct timeval horodatage_initial; |
struct timeval horodatage_final; |
struct timeval horodatage_final; |
|
|
unsigned long decor; |
long decor; |
unsigned long fonctions; |
long fonctions; |
|
|
Widget cadre; |
Widget cadre; |
Widget form; |
Widget form; |
Line 164 encart(struct_processus *s_etat_processu
|
Line 164 encart(struct_processus *s_etat_processu
|
#else |
#else |
sscanf(rpl_xpm[0], "%d %d", &largeur_xpm, &hauteur_xpm); |
sscanf(rpl_xpm[0], "%d %d", &largeur_xpm, &hauteur_xpm); |
|
|
largeur_popup = largeur_xpm + 28; |
largeur_popup = (Position) (largeur_xpm + 28); |
hauteur_popup = hauteur_xpm + 28; |
hauteur_popup = (Position) (hauteur_xpm + 28); |
|
|
XtVaSetValues(objet_principal, |
XtVaSetValues(objet_principal, |
XmNx, (largeur - largeur_popup) / 2, |
XmNx, (largeur - largeur_popup) / 2, |
Line 203 encart(struct_processus *s_etat_processu
|
Line 203 encart(struct_processus *s_etat_processu
|
temps_ecoule.tv_usec += 1000000; |
temps_ecoule.tv_usec += 1000000; |
temps_ecoule.tv_sec--; |
temps_ecoule.tv_sec--; |
} |
} |
} while (((temps_ecoule.tv_usec / ((double) 1000000)) |
} while (((((double) temps_ecoule.tv_usec) / ((double) 1000000)) |
+ temps_ecoule.tv_sec) < (duree / ((double) 1000000))); |
+ ((double) temps_ecoule.tv_sec)) |
|
< (((double) duree) / ((double) 1000000))); |
|
|
XtUnrealizeWidget(objet_principal); |
XtUnrealizeWidget(objet_principal); |
|
|