[gnome-shell] (5 commits) Created branch wip/support-invalid-monitor-index

From: Marco Trevisan <marcotrevi src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] (5 commits) Created branch wip/support-invalid-monitor-index
Date: Wed, 18 Apr 2018 06:29:00 +0000 (UTC)

The branch 'wip/support-invalid-monitor-index' was created.

Summary of new commits:

  8767771... windowMenu: Check if monitorIndex is valid before using it
  f7e62bf... layout: Remove focusMonitor, as it is unused
  426aefe... keyboard: Handle case where keyboardMonitor is unset
  38178cb... keyboard: Check monitor validity before deferencing it
  d48bc5c... windowManager: Don't animate unmanaged windows on (un)minim

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]