*** TeXmacs-0.3.5.11-src/src/Edit/Interface/edit_interface.gen.cc --- TeXmacs-0.3.5.11-src/src/Edit/Interface/edit_interface.gen.cc *************** *** 559,565 **** THE_CURSOR+THE_FOCUS)) { SI /*P1= pixel,*/ P2= 2*pixel, P3= 3*pixel; go_to_here (); ! if (env_change & (THE_TREE+THE_ENVIRONMENT+THE_EXTENTS+THE_CURSOR)) cursor_visible (); cursor& cu (the_cursor()); rectangle ocr (oc->ox+ ((SI) (oc->y1*oc->slope))- P3, oc->oy+ oc->y1- P3, --- 559,566 ---- THE_CURSOR+THE_FOCUS)) { SI /*P1= pixel,*/ P2= 2*pixel, P3= 3*pixel; go_to_here (); ! if ((env_change & (THE_TREE+THE_ENVIRONMENT+THE_EXTENTS+THE_CURSOR)) ! && ! (env_change & THE_FOCUS)) cursor_visible (); cursor& cu (the_cursor()); rectangle ocr (oc->ox+ ((SI) (oc->y1*oc->slope))- P3, oc->oy+ oc->y1- P3,
Archive powered by MHonArc 2.6.19.