[Kile-devel] Save Bookmarks

[A M. <a.m...@gm...>]

Is Kile supposed to save bookmarks across sessions?

The latest stable version does not seem to do that in Linux-64-bit.


Best

A. Mani


-- 
A. Mani
Member, Cal. Math. Soc