Having the minibuffer as tollbar is ugly and eats screen real estate for no good reason. Should be merged with the status line.
I agree, but having a editable status line is kind of peculiar.
The minibuffer is not accessible by M-x when no buffer is loaded.
I have proposed to remove this shortcut.
When killing LyX in the xterm using C-c, the session file is corrupted and further LyX starts are impossible.
Default values should be used. There should be many try/catch in this part of the code, but the use of exceptions was discouraged.
I still think that the session stuff is a GUI thingy and belongs to the frontends and can there make use of frontend specific code.
I can think of several reasons for that: which files to load (last opened files) belongs to the core; bookmarks are hard to be handled to the GUI; and implementing session in multiple frontends is tedious. Bo