1 /* 2 * Copyright (c) Tony Bybell 1999-2012. 3 * 4 * This program is free software; you can redistribute it and/or 5 * modify it under the terms of the GNU General Public License 6 * as published by the Free Software Foundation; either version 2 7 * of the License, or (at your option) any later version. 8 */ 9 10 #include "globals.h" 11 12 #ifndef __MFMAIN_H__ 13 #define __MFMAIN_H__ 14 15 #include "busy.h" 16 17 #define HAVE_PANED_PACK /* undefine this if you have an older GTK */ 18 19 struct logfile_chain 20 { 21 struct logfile_chain *next; 22 char *name; 23 }; 24 25 int main_2(int opt_vcd, int argc, char *argv[]); 26 27 GtkWidget *create_text(void); 28 GtkWidget *create_zoom_buttons(void); 29 GtkWidget *create_page_buttons(void); 30 GtkWidget *create_fetch_buttons(void); 31 GtkWidget *create_discard_buttons(void); 32 GtkWidget *create_edge_buttons(void); 33 GtkWidget *create_shift_buttons(void); 34 GtkWidget *create_entry_box(void); 35 GtkWidget *create_time_box(void); 36 GtkWidget *create_wavewindow(void); 37 GtkWidget *create_signalwindow(void); 38 39 /* Get/set the current size of the window. */ 40 extern void get_window_size (int *x, int *y); 41 extern void set_window_size (int x, int y); 42 43 /* Get/set the x/y pos of the window */ 44 void get_window_xypos(int *root_x, int *root_y); 45 void set_window_xypos(int root_x, int root_y); 46 47 /* stems helper activation */ 48 int stems_are_active(void); 49 void activate_stems_reader(char *stems_name); 50 #if !defined _MSC_VER 51 void kill_stems_browser(void); 52 #endif 53 void kill_stems_browser_single(void *G); 54 55 /* prototype only used in main.c */ 56 void menu_reload_waveform_marshal(GtkWidget *widget, gpointer data); 57 58 59 /* function for spawning vcd conversions */ 60 void optimize_vcd_file(void); 61 62 63 enum FileType { 64 MISSING_FILE, 65 LXT_FILE, 66 LX2_FILE, 67 VZT_FILE, 68 AE2_FILE, 69 GHW_FILE, 70 VCD_FILE, 71 VCD_RECODER_FILE, 72 #ifdef EXTLOAD_SUFFIX 73 EXTLOAD_FILE, 74 #endif 75 FST_FILE, 76 DUMPLESS_FILE 77 }; 78 79 #endif 80 81