Skip to content
This repository has been archived by the owner on Nov 4, 2019. It is now read-only.

Reload filetree after save #42

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Reload filetree after save #42

wants to merge 1 commit into from

Commits on Feb 14, 2011

  1. Reload the file tree in the sidebar after saving. 

    This is necessary because the save may have created a new document (if it
was "saved as").
    Adeel Ahmad Khan committed Feb 14, 2011
    Configuration menu
    Copy the full SHA
    5cd38f7 View commit details
    Browse the repository at this point in the history