comparison dw.h @ 2909:3fe7641f027c

WARNING: Fix an API inconsistency in dw_notebook_page_destroy/set() These two APIs incorrectly referenced the page ID as an int not long. This change may cause ABI problems with programs that use these on some platforms. Recompile your apps that use these functions for safety.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 27 Dec 2022 00:58:58 +0000
parents cb9e8494f534
children 0577a97fe36d
comparison
equal deleted inserted replaced
2908:1567f787b965 2909:3fe7641f027c
2125 int API dw_screen_width(void); 2125 int API dw_screen_width(void);
2126 int API dw_screen_height(void); 2126 int API dw_screen_height(void);
2127 unsigned long API dw_color_depth_get(void); 2127 unsigned long API dw_color_depth_get(void);
2128 HWND API dw_notebook_new(unsigned long id, int top); 2128 HWND API dw_notebook_new(unsigned long id, int top);
2129 unsigned long API dw_notebook_page_new(HWND handle, unsigned long flags, int front); 2129 unsigned long API dw_notebook_page_new(HWND handle, unsigned long flags, int front);
2130 void API dw_notebook_page_destroy(HWND handle, unsigned int pageid); 2130 void API dw_notebook_page_destroy(HWND handle, unsigned long pageid);
2131 void API dw_notebook_page_set_text(HWND handle, unsigned long pageid, const char *text); 2131 void API dw_notebook_page_set_text(HWND handle, unsigned long pageid, const char *text);
2132 void API dw_notebook_page_set_status_text(HWND handle, unsigned long pageid, const char *text); 2132 void API dw_notebook_page_set_status_text(HWND handle, unsigned long pageid, const char *text);
2133 void API dw_notebook_page_set(HWND handle, unsigned int pageid); 2133 void API dw_notebook_page_set(HWND handle, unsigned long pageid);
2134 unsigned long API dw_notebook_page_get(HWND handle); 2134 unsigned long API dw_notebook_page_get(HWND handle);
2135 void API dw_notebook_pack(HWND handle, unsigned long pageid, HWND page); 2135 void API dw_notebook_pack(HWND handle, unsigned long pageid, HWND page);
2136 HWND API dw_splitbar_new(int type, HWND topleft, HWND bottomright, unsigned long id); 2136 HWND API dw_splitbar_new(int type, HWND topleft, HWND bottomright, unsigned long id);
2137 void API dw_splitbar_set(HWND handle, float percent); 2137 void API dw_splitbar_set(HWND handle, float percent);
2138 float API dw_splitbar_get(HWND handle); 2138 float API dw_splitbar_get(HWND handle);