25 #include "pips_config.h"
30 #include <sys/resource.h>
31 #include <xview/xview.h>
32 #include <xview/panel.h>
33 #include <xview/defaults.h>
40 #define BOUND(x,lb,ub) \
42 ((x)>(ub)) ? (ub) : (x)
52 debug(2,
"event_procedure",
53 "Event_id %d, event_action %d\n",
54 event_id(event), event_action(event));
55 switch (event_id(event)) {
57 win_set_kbd_focus(window, xv_get(window, XV_XID));
58 debug(2,
"event_procedure",
"LOC_WINENTER\n");
70 WIN_CONSUME_EVENTS, LOC_WINENTER, NULL,
81 frame_get_rect(frame, &rect);
88 frame_set_rect(frame, &rect);
107 dpy = (Display *)xv_get(
main_frame, XV_DISPLAY);
108 screen = (Xv_Screen)xv_get(
main_frame, XV_SCREEN);
109 screen_no = (
int)xv_get(screen, SCREEN_NUMBER);
122 xv_set(
log_frame, FRAME_LABEL,
"Pips Log Window", NULL);
133 FRAME_SHOW_FOOTER, TRUE,
134 FRAME_LEFT_FOOTER,
"<",
135 FRAME_RIGHT_FOOTER,
">",
140 FRAME_LABEL,
"Pips On Line Help Facility",
169 FRAME_LABEL,
"Wpips options",
180 int main_l, main_t, main_w, main_h;
181 int main_center_l, main_center_t;
190 full_frame = (Frame) xv_create(XV_NULL, FRAME, NULL);
191 dpy = (Display *)xv_get(full_frame, XV_DISPLAY);
192 screen = (Xv_Screen)xv_get(full_frame, XV_SCREEN);
193 screen_no = (
int)xv_get(screen, SCREEN_NUMBER);
194 xv_destroy(full_frame);
213 main_w = rect.r_width;
214 main_h = rect.r_height;
215 main_l = rect.r_left;
224 main_w = rect.r_width;
225 main_h = rect.r_height;
226 main_l = rect.r_left;
228 main_center_t = main_t+main_h/2;
229 main_center_l = main_l+main_w/2;
void const char const char const int
#define MIN(x, y)
minimum and maximum if they are defined somewhere else, they are very likely to be defined the same w...
GtkWidget * main_frame
If we are in the Emacs mode, the log_frame is no longer really used:
GtkWidget * mchoose_frame
void close_log_subwindow(GtkWidget *widget, gpointer data)
GtkWidget * options_frame
#define EDIT_HEIGHT
#define EDIT_HEIGHT 400
#define Y_WM_DECOR_SIZE
We need to estimate the size of the decor added by the widow manager, Y_WM_DECOR_SIZE & X_WM_DECOR_SI...
gint hide_window(GtkWidget *window, GdkEvent *ev __attribute__((unused)), gpointer data __attribute__((unused)))
void debug(const int the_expected_debug_level, const char *calling_function_name, const char *a_message_format,...)
ARARGS0.
#define WPIPS_LOG_WINDOW_WIDTH_RESSOURCE_NAME
Here are the X ressource stuff:
#define MAX_NUMBER_OF_WPIPS_WINDOWS
How many display wondows can be opened :
#define WPIPS_LOG_WINDOW_WIDTH_DEFAULT
#define WPIPS_LOG_WINDOW_WIDTH_RESSOURCE_CLASS
#define WPIPS_LOG_WINDOW_HEIGHT_DEFAULT
Frame edit_frame[MAX_NUMBER_OF_WPIPS_WINDOWS]
#define WPIPS_LOG_WINDOW_HEIGHT_RESSOURCE_CLASS
#define WPIPS_LOG_WINDOW_HEIGHT_RESSOURCE_NAME
void event_procedure(Xv_Window window, Event *event, Notify_arg arg)
void place_frame(Frame frame, int l, int t)
static int display_height
void install_event_procedure(Xv_Window window)
static int display_width
define MAX(a, b) ((a)>(b) ? (a) : (b))