--- a/src/gldraw.cpp Fri May 24 15:23:56 2013 +0300 +++ b/src/gldraw.cpp Fri May 24 15:38:23 2013 +0300 @@ -285,7 +285,7 @@ return; printf ("%s: Unknown color %d!\n", __func__, obj->color); - g_warnedColors.push_back (obj->color); + g_warnedColors << obj->color; return; } } @@ -878,7 +878,7 @@ } } - m_drawedVerts.push_back (m_hoverpos); + m_drawedVerts << m_hoverpos; update (); break; @@ -1100,7 +1100,7 @@ break; } - g_win->sel ().push_back (obj); + g_win->sel () << obj; } delete[] pixeldata;