]> git.lyx.org Git - features.git/commit
save session when we save a buffer
authorAlexander Dunlap <alexander.dunlap@gmail.com>
Thu, 15 Feb 2018 19:28:34 +0000 (11:28 -0800)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Wed, 21 Feb 2018 10:53:19 +0000 (11:53 +0100)
commitcca365f26c7d541cc13453fc42fc9b6de7736319
tree9e653fcb2d6edb9daf750fba436d269f099d692e
parent110a5e2a15b6af4f2500e50b5a9b1042ae66fdec
save session when we save a buffer

Implements enhancement #10712.
src/frontends/qt4/GuiView.cpp