C++ (Cpp) refresh_size示例

示例#1

文件： tm_window.cpp 项目： mgubi/texmacs

void
windows_refresh (string kind) {
    if (kind == "auto" && texmacs_time () < refresh_time) return;
    iterator<int> it= iterate (window_table);
    while (it->busy ()) {
        int id= it->next ();
        send_refresh (window_table[id], kind);
#ifdef X11TEXMACS
        if (kind == "auto") refresh_size (window_table[id], false);
#endif
    }
    if (kind == "auto") windows_delayed_refresh (1000000000);
}

示例#2

文件： tabs_widget.cpp 项目： KarlHegbloom/texmacs

void
tabs_widget_rep::handle_mouse (mouse_event ev) {
  int    l= N(a) - 1;
  string type= ev->type;
  SI     x= ev->x, y= ev->y;
  int    focus;
  THIS << emit_find_child (x, y, focus);
  if (focus >= 0 && focus < l &&
      (type == "release-left" || type == "release-right")) {
    a[l] << set_integer ("switch", focus);
    THIS << emit_update ();
    THIS << emit_reposition ();
    refresh_size (win->get_widget (), true);
  }
  else composite_widget_rep::handle_mouse (ev);
}