OSDN Git Service

renamed WindowLauncher#setInfoTreePane to setInfoTreePaneVisibility