Fix error where session wasn't updated after folder rename/delete (#1488692)
Description
Description
Details
Details
- Provenance
machniak Authored on Sep 11 2012, 5:34 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:eac1b7a32d70: Init splitter in Preferences also when env.action is empty
- Branches
- Unknown
- Tags