41 #ifdef CHECK_MEMORY_LEAKS
43 #endif // CHECK_MEMORY_LEAKS
60 return mySelected.count(
id) > 0;
66 mySelected.insert(
id);
88 const std::set<GUIGlID> &
155 throw ProcessError(
"Unkown object in GUISelectedStorage::toggleSelection (id=" +
toString(
id) +
").");
168 const std::set<GUIGlID> &
174 const std::set<GUIGlID> &
182 for (std::map<GUIGlObjectType, SingleTypeSelections>::iterator it =
mySelections.begin(); it !=
mySelections.end(); it++) {
194 std::set<GUIGlID> result;
195 std::ostringstream msg;
196 std::ifstream strm(filename.c_str());
198 msgOut =
"Could not open '" + filename +
"'.\n";
201 while (strm.good()) {
204 if (line.length() == 0) {
211 msg <<
"Ignoring item '" << line <<
"' because of invalid type " <<
toString(object->
getType()) <<
"\n";
213 result.insert(object->
getGlID());
216 msg <<
"Item '" + line +
"' not found\n";
229 const std::set<GUIGlID> ids =
loadIDs(filename, errors, type);
230 for (std::set<GUIGlID>::const_iterator it = ids.begin(); it != ids.end(); it++) {
267 for (std::set<GUIGlID>::const_iterator i = ids.begin(); i != ids.end(); ++i) {