Searched refs:RKEY_DEFAULT_GRID_SIZE (Results 1 – 1 of 1) sorted by relevance
16 const std::string RKEY_DEFAULT_GRID_SIZE = "user/ui/grid/defaultGridPower"; variable52 GlobalRegistry().addKeyObserver(this, RKEY_DEFAULT_GRID_SIZE); in GridManager()64 int registryValue = GlobalRegistry().getInt(RKEY_DEFAULT_GRID_SIZE); in keyChanged()126 page->appendCombo("Default Grid Size", RKEY_DEFAULT_GRID_SIZE, getGridList()); in constructPreferencePage()