summaryrefslogtreecommitdiff
path: root/src/Basemenu.cc
diff options
context:
space:
mode:
authorDana Jansens <danakj@orodu.net>2002-07-14 20:54:03 +0000
committerDana Jansens <danakj@orodu.net>2002-07-14 20:54:03 +0000
commit90dbcb271c5e6d7ca73c19a519b93885b833db0a (patch)
treedf98b2ed99b8dd6546be1d7d03221ee6d54e6ea4 /src/Basemenu.cc
parentc6a826bf663d3cb286025642f5e2a725b5d1c660 (diff)
properly handle workspace names, and changes to them.
Diffstat (limited to 'src/Basemenu.cc')
-rw-r--r--src/Basemenu.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Basemenu.cc b/src/Basemenu.cc
index 8feb7372..775d49a8 100644
--- a/src/Basemenu.cc
+++ b/src/Basemenu.cc
@@ -202,7 +202,7 @@ int Basemenu::insert(BasemenuItem *item, int pos) {
if (pos < 0) {
menuitems.push_back(item);
} else {
- assert(pos < static_cast<signed>(menuitems.size()));
+ assert(pos <= static_cast<signed>(menuitems.size()));
menuitems.insert((menuitems.begin() + pos), item);
}
return menuitems.size();