ninja-ide/ninja-ide — Issue #113: Remember panels sizes
Author: diegosarmentero
Created: 2011-12-21 12:28:15+00:00
State: open

Remember the panel sizes when the user change from one desktop to another and go back