On Tue, 2011-04-19 at 16:23 -0300, Kayo Hamid wrote: > From cppcheck: Using xxxx.empty() instead of xxxx.size() can be faster. > xxxx.size() can take linear time but xxxx.empty() is guaranteed to take > constant time
Many thanks for that other patch. I just pushed it too! -- Cédric Bosdonnat LibreOffice hacker http://documentfoundation.org OOo Eclipse Integration developer http://cedric.bosdonnat.free.fr _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice