Home
last modified time | relevance | path

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

/dports/math/gambit/gambit-16.0.1/src/gui/
H A Dstyle.cc73 m_playerToken = GBT_NODE_TOKEN_DOT; in SetDefaults()
186 s << "player=\"" << nodeTokens[m_playerToken] << "\" "; in GetLayoutXML()
223 if (s == "line") m_playerToken = GBT_NODE_TOKEN_LINE; in SetLayoutXML()
224 else if (s == "box") m_playerToken = GBT_NODE_TOKEN_BOX; in SetLayoutXML()
225 else if (s == "circle") m_playerToken = GBT_NODE_TOKEN_CIRCLE; in SetLayoutXML()
226 else if (s == "diamond") m_playerToken = GBT_NODE_TOKEN_DIAMOND; in SetLayoutXML()
227 else if (s == "dot") m_playerToken = GBT_NODE_TOKEN_DOT; in SetLayoutXML()
H A Dstyle.h68 int m_chanceToken, m_playerToken, m_terminalToken; variable
106 int PlayerToken(void) const { return m_playerToken; } in PlayerToken()
107 void SetPlayerToken(int p_token) { m_playerToken = p_token; } in SetPlayerToken()
H A Ddlefglayout.cc36 wxChoice *m_chanceToken, *m_playerToken, *m_terminalToken; member in gbtLayoutNodesPanel
46 int PlayerToken(void) const { return m_playerToken->GetSelection(); } in PlayerToken()
80 m_playerToken = new wxChoice(this, -1, in gbtLayoutNodesPanel()
83 m_playerToken->SetSelection(p_settings.PlayerToken()); in gbtLayoutNodesPanel()
84 tokenSizer->Add(m_playerToken, 1, wxALL | wxEXPAND | wxALIGN_CENTER, 5); in gbtLayoutNodesPanel()