Verified that the Bug #997444 referenced above happens when using Kile Latex editor and changing tabs. using Ubuntu 12.04 precise.
Verified that the Bug #997444 referenced above happens when using Kile Latex editor and changing tabs.
using Ubuntu 12.04 precise.