MiguelCastillo/Brackets-Ternific — pull request #33 by Mark-Simulacrum (2014-10-12 13:25:45+00:00)
Title: Change PanelManager to WorkspaceManager.

PanelManager is deprecated.