1011 };

  1011 };

  1012 

  1012 

  1013 static void ExtraViewPortWndProc(Window *w, WindowEvent *e)

  1013 static void ExtraViewPortWndProc(Window *w, WindowEvent *e)

  1014 {

  1014 {

  1015 	ViewPort *vp = w->viewport;

  1015 	ViewPort *vp = w->viewport;

  1017 

  1016 

  1018 	switch(e->event) {

  1017 	switch(e->event) {

  1019 	case WE_PAINT: {

  1018 	case WE_PAINT: {

  1020 		// set the number in the title bar

  1019 		// set the number in the title bar

  1021 		SET_DPARAM16(0, (w->window_number+1));

  1020 		SET_DPARAM16(0, (w->window_number+1));