5 --- eworkpanel/workpanel.cpp~ 2005-08-29 23:20:59.000000000 +0000
6 +++ eworkpanel/workpanel.cpp
7 @@ -113,7 +113,7 @@ int Fl_Update_Window::handle(int event)
9 void setWorkspace(Fl_Button *, void *w)
11 - Fl_WM::set_current_workspace((int) w);
12 + Fl_WM::set_current_workspace((int)(intptr_t) w);
15 void restoreRunBrowser() {
16 @@ -334,7 +334,7 @@ void updateWorkspaces(Fl_Widget*,void*)
18 for(int n=0; n<count; n++) {
19 Fl_Item *i = new Fl_Item();
20 - i->callback( (Fl_Callback *) setWorkspace, (void*)n);
21 + i->callback( (Fl_Callback *) setWorkspace, (void*)(intptr_t)n);
22 i->type(Fl_Item::RADIO);
23 if(n<names_count && names[n]) {