Home
last modified time | relevance | path

Searched refs:GBT_INFOSET_JOIN_LINES (Results 1 – 3 of 3) sorted by relevance

/dports/math/gambit/gambit-16.0.1/src/gui/
H A Dstyle.h41 const int GBT_INFOSET_JOIN_LINES = 0; variable
H A Dstyle.cc274 if (s == "lines") m_infosetJoin = GBT_INFOSET_JOIN_LINES; in SetLayoutXML()
H A Defglayout.cc801 (m_doc->GetStyle().InfosetJoin() == GBT_INFOSET_JOIN_LINES) ? 10 : 40; in Layout()
955 if (settings.InfosetJoin() == GBT_INFOSET_JOIN_LINES) { in RenderSubtree()