comparison dw.h @ 120:7d2108cbcd3e

Porting DW to GTK 2.0... and changed the percent value from into to a float so there won't be any rounding.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Sat, 19 Oct 2002 11:46:54 +0000
parents 1cad81b7cc4c
children caeb52bb5ef4
comparison
equal deleted inserted replaced
119:1cad81b7cc4c 120:7d2108cbcd3e
378 378
379 void dw_box_pack_start_stub(HWND box, HWND item, int width, int height, int hsize, int vsize, int pad); 379 void dw_box_pack_start_stub(HWND box, HWND item, int width, int height, int hsize, int vsize, int pad);
380 void dw_box_pack_end_stub(HWND box, HWND item, int width, int height, int hsize, int vsize, int pad); 380 void dw_box_pack_end_stub(HWND box, HWND item, int width, int height, int hsize, int vsize, int pad);
381 #else 381 #else
382 /* GTK */ 382 /* GTK */
383 #define GTK_ENABLE_BROKEN 1
383 #include <gtk/gtk.h> 384 #include <gtk/gtk.h>
384 #include <gdk/gdkx.h> 385 #include <gdk/gdkx.h>
385 #include <gdk/gdkprivate.h> 386 #include <gdk/gdkprivate.h>
386 #include <pthread.h> 387 #include <pthread.h>
387 388
727 void dw_notebook_page_set_status_text(HWND handle, unsigned long pageid, char *text); 728 void dw_notebook_page_set_status_text(HWND handle, unsigned long pageid, char *text);
728 void dw_notebook_page_set(HWND handle, unsigned int pageid); 729 void dw_notebook_page_set(HWND handle, unsigned int pageid);
729 unsigned int dw_notebook_page_query(HWND handle); 730 unsigned int dw_notebook_page_query(HWND handle);
730 void dw_notebook_pack(HWND handle, unsigned long pageid, HWND page); 731 void dw_notebook_pack(HWND handle, unsigned long pageid, HWND page);
731 HWND dw_splitbar_new(int type, HWND topleft, HWND bottomright, unsigned long id); 732 HWND dw_splitbar_new(int type, HWND topleft, HWND bottomright, unsigned long id);
732 void dw_splitbar_set(HWND handle, int percent); 733 void dw_splitbar_set(HWND handle, float percent);
733 int dw_splitbar_get(HWND handle); 734 float dw_splitbar_get(HWND handle);
734 HMENUI dw_menu_new(unsigned long id); 735 HMENUI dw_menu_new(unsigned long id);
735 HMENUI dw_menubar_new(HWND location); 736 HMENUI dw_menubar_new(HWND location);
736 HWND dw_menu_append_item(HMENUI menu, char *title, unsigned long id, unsigned long flags, int end, int check, HMENUI submenu); 737 HWND dw_menu_append_item(HMENUI menu, char *title, unsigned long id, unsigned long flags, int end, int check, HMENUI submenu);
737 void dw_menu_item_set_check(HMENUI menu, unsigned long id, int check); 738 void dw_menu_item_set_check(HMENUI menu, unsigned long id, int check);
738 void dw_menu_popup(HMENUI *menu, HWND parent, int x, int y); 739 void dw_menu_popup(HMENUI *menu, HWND parent, int x, int y);