xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

editor.cc: remove unused id_not_unique

Browse Source
This commit is contained in:
Maxime Coste 2012-07-30 13:39:38 +02:00
parent 6bd67c01cc
commit a3cb9bfc5e
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/editor.cc
View File

@ -290,12 +290,6 @@ void Editor::check_invariant() const
assert(not selections().empty()); assert(not selections().empty());
} }
struct id_not_unique : public runtime_error
{
id_not_unique(const String& id)
: runtime_error("id not unique: " + id) {}
};
void Editor::begin_edition() void Editor::begin_edition()
{ {
++m_edition_level; ++m_edition_level;