reopen the files that were open the last time

This commit is contained in:
2022-02-06 16:47:14 +01:00
parent 283bdae0fd
commit c470ca4ed1
6 changed files with 36 additions and 8 deletions

View File

@@ -9,8 +9,8 @@ class Settings():
def set_session(self, section: str, option: str, value: str):
return self.session.set(section, option, value)
def get_session(self, section: str, option: str) -> str:
return self.session.get(section, option)
def get_session(self, section: str, option: str, fallback: str = object()) -> str:
return self.session.get(section, option, fallback=fallback)
def getint_session(self, section: str, option: str) -> int:
return self.session.getint(section, option)