function update_always_on_top_toggle() {
  const window = global.display.focus_window;
  if (window !== null) {
    if (window.above) {
      alwaysOnTopToggle.style_class = "action-button activated";
    } else {
      alwaysOnTopToggle.style_class = "action-button";
    }
  }
}
// Updates alwaysOnTopToggle if there is a focus window.
Updates alwaysOnTopToggle if there is a focus window.
Updates alwaysOnTopToggle if there is a focus window .
function update_always_on_top_toggle() {
  const window = global.display.focus_window;
  if (window !== null) {
    if (window.above) {
      alwaysOnTopToggle.style_class = "action-button activated";
    } else {
      alwaysOnTopToggle.style_class = "action-button";
    }
  }
}
function update_always_on_top_toggle ( ) { const window = global . display . focus_window ; if ( window !== null ) { if ( window . above ) { alwaysOnTopToggle . style_class = "action-button activated" ; } else { alwaysOnTopToggle . style_class = "action-button" ; } } }
Updates alwaysOnTopToggle if there is a focus window.
Updates alwaysOnTopToggle if there is a focus window .