Added by Joaquín del Cerro Murciano about 1 year ago
Añadido el metodo getDesktopPanelSize a ToolsSwingManager
View differences