*/
#include "player.h"
+#include "main.h"
#include <stdio.h>
#include <stdlib.h>
int status = 0;
waitpid(player->process, &status, 0);
- //player->isactive = FALSE;
+ player->isactive = FALSE;
player->status = status;
return NULL;
fflush(stdout);
}
+static void player_widget_set_size(XtPointer data, XtIntervalId *id) {
+ Player *player = data;
+ MainWindow *win = GetMainWindow();
+
+ Dimension win_width, win_height;
+ XtVaGetValues(win->window, XmNwidth, &win_width, XmNheight, &win_height, NULL);
+ Dimension player_width, player_height;
+ XtVaGetValues(win->player_widget, XmNwidth, &player_width, XmNheight, &player_height, NULL);
+
+ Dimension new_width = player->width + win_width - player_width;
+ Dimension new_height = player->height + win_height - player_height;
+
+ XtVaSetValues(win->window, XmNwidth, new_width, XmNheight, new_height, NULL);
+
+}
+
+
+
static void player_set_size(Player *player, int width, int height) {
if(width >= 0) {
player->width = width;
player->height = height;
}
if(player->width > 0 && player->height > 0) {
- printf("TODO: set player size\n");
+ AppAddTimeOut(0, player_widget_set_size, player);
}
}