[gnome-terminal] headermenu: Add placeholder item for win.set-title

From: Debarshi Ray <debarshir src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-terminal] headermenu: Add placeholder item for win.set-title
Date: Mon, 1 Apr 2019 09:05:22 +0000 (UTC)

Summary of changes:

  79beb57... headermenu: Add placeholder item for win.set-title (*)

(*) 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]