Get rid of the save-session setting for now.

With the way quitting is handled currently, it's hard to save the session on
quit as the windows will already be closed.
This commit is contained in:
Florian Bruhin 2015-02-16 21:31:25 +01:00
parent 8f1d81a644
commit 46ca0e447e
3 changed files with 0 additions and 21 deletions

View File

@ -20,7 +20,6 @@
|<<general-default-encoding,default-encoding>>|Default encoding to use for websites.
|<<general-new-instance-open-target,new-instance-open-target>>|How to open links in an existing instance if a new one is launched.
|<<general-log-javascript-console,log-javascript-console>>|Whether to log javascript console messages.
|<<general-save-session,save-session>>|Whether to always save the open pages.
|==============
.Quick reference for section ``ui''
@ -387,17 +386,6 @@ Valid values:
Default: +pass:[false]+
[[general-save-session]]
=== save-session
Whether to always save the open pages.
Valid values:
* +true+
* +false+
Default: +pass:[false]+
== ui
General options related to the user interface.

View File

@ -193,10 +193,6 @@ DATA = collections.OrderedDict([
('log-javascript-console',
SettingValue(typ.Bool(), 'false'),
"Whether to log javascript console messages."),
('save-session',
SettingValue(typ.Bool(), 'false'),
"Whether to always save the open pages."),
)),
('ui', sect.KeyValue(

View File

@ -21,7 +21,6 @@
import os
import os.path
import functools
from PyQt5.QtCore import (pyqtSignal, QStandardPaths, QUrl, QObject, QPoint,
QTimer)
@ -64,10 +63,6 @@ class SessionManager(QObject):
def __init__(self, parent=None):
super().__init__(parent)
save_manager = objreg.get('save-manager')
save_manager.add_saveable(
'default-session', functools.partial(self.save, 'default'),
config_opt=('general', 'save-session'))
self._base_path = os.path.join(
standarddir.get(QStandardPaths.DataLocation), 'sessions')
if not os.path.exists(self._base_path):