Pierre-Malo Deniélou Tue, 15 Jan 2013 16:46:10 -0800
Please push texstudio, which I updated to version 2.5.2. Upstream says that it is a bug fix release.
-- Malo