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



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]