dbLatexFree

Dec 28, 2015

-Fixed a minor bug with the "show tips" initial dialogue showing again when device was rotated.

-Added a menu item in the "extras" menu to open the native editor (some people seems not to realize the existence of that editor because they don't notice the function of the corresponding icon).

-Some other minor bug fixes