imports.ui.panel
Panel
— The file responsible for managing panels
Panel.PanelManager
— Manager of Cinnamon panels
Panel.PanelDummy
— Dummy panels for users to select new position of panel
Panel.Panel
— A panel object on the monitor
