(
layout: MsMain,
monitor: Main.Monitor,
bgGroup: Meta.BackgroundGroup,
params?: Partial<St.Widget.ConstructorProperties>
)
| 391 | monitor!: Main.Monitor; |
| 392 | layout: MsMain; |
| 393 | constructor( |
| 394 | layout: MsMain, |
| 395 | monitor: Main.Monitor, |
| 396 | bgGroup: Meta.BackgroundGroup, |
| 397 | params?: Partial<St.Widget.ConstructorProperties> |
| 398 | ) { |
| 399 | super(params); |
| 400 | this.layout = layout; |
| 401 | this.bgGroup = bgGroup; |
| 402 | |
| 403 | this.horizontalPanelSpacer = new St.Widget({ |
| 404 | style_class: 'HorizontalSpacer', |
| 405 | }); |
| 406 | this.setMonitor(monitor); |
| 407 | |
| 408 | this.add_child(this.horizontalPanelSpacer); |
| 409 | const panelSizeSignal = Me.msThemeManager.connect( |
| 410 | 'panel-size-changed', |
| 411 | () => { |
| 412 | this.updateSpacer(); |
| 413 | } |
| 414 | ); |
| 415 | const horizontalPanelPositionSignal = Me.msThemeManager.connect( |
| 416 | 'horizontal-panel-position-changed', |
| 417 | () => { |
| 418 | this.updateSpacer(); |
| 419 | } |
| 420 | ); |
| 421 | this.connect('destroy', () => { |
| 422 | Me.msThemeManager.disconnect(panelSizeSignal); |
| 423 | Me.msThemeManager.disconnect(horizontalPanelPositionSignal); |
| 424 | if (this.bgManager) { |
| 425 | this.bgManager.destroy(); |
| 426 | } |
| 427 | }); |
| 428 | } |
| 429 | |
| 430 | refreshFullscreen() { |
| 431 | this.setFullscreen( |
nothing calls this directly
no test coverage detected