Erik Faye-Lund bc5fcca75f editor: propagate allocation-errors
This isn't really a big deal, but let's just propagate allocation
errors as std::bad_alloc exceptions.
2011-01-26 21:21:30 +01:00
..
2010-09-05 15:37:54 +02:00
2010-11-17 23:18:42 +01:00
2010-11-17 23:18:42 +01:00
2010-11-17 23:18:42 +01:00
2010-11-02 18:58:13 +01:00