[gtk] (7 commits) ...Merge branch 'wip/kill-menu' into 'master'

From: Matthias Clasen <matthiasc src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtk] (7 commits) ...Merge branch 'wip/kill-menu' into 'master'
Date: Mon, 16 Sep 2019 22:10:27 +0000 (UTC)

Summary of changes:

  c0071a0... text util: Remove an unused function (*)
  222e05c... Remove unused includes (*)
  5a93449... window: Make fallback menu a popover (*)
  03e3043... menutoolbutton: Add support for popovers (*)
  1b271f3... notebook: Use a popover for the tab menu (*)
  b14b0ef... toolbar: Use a popover for overflow (*)
  87e7fa9... Merge branch 'wip/kill-menu' into 'master'

(*) This commit already existed in another branch; no separate mail sent

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