|
def refresh_sidebar(settings=None, window=None): |
|
if window is None: |
|
window = active_window() |
|
if settings is None: |
|
settings = window.active_view().settings() |
|
if settings.get("explicitly_refresh_sidebar") is True: |
|
window.run_command("refresh_folder_list") |
Maybe this feature should be removed all together anyway (ref #53)