Method setRefreshPause

gecode/gist/qtgist.cpp:783–784

  void
  Gist::setRefresh(int i) { canvas->setRefresh(i); }
  void
  Gist::setRefreshPause(int i) { canvas->setRefreshPause(i); }
  bool
  Gist::getSmoothScrollAndZoom(void) {
    return canvas->getSmoothScrollAndZoom();