+
+/*
+ Possible cleanups, left for next fileformat change:
+
+ - bookmarksopenlevel is stored in .lyx as string;
+ after change to spinbox it would be appropriate
+ change to int.
+ - store_options flag can be completely replaced by
+ function store_options() doing essentialy the same
+ as empty() now.
+*/
+