[Wayland-bugs] [Bug 793462] gnome-terminal doesn't properly adjust back to HiDPI

2018-05-02 Thread gtk+
https://bugzilla.gnome.org/show_bug.cgi?id=793462

GNOME Infrastructure Team  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |OBSOLETE

--- Comment #5 from GNOME Infrastructure Team  ---
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from
further activity.

You can subscribe and participate further through the new bug through this link
to our GitLab instance: https://gitlab.gnome.org/GNOME/gtk/issues/1031.

-- 
You are receiving this mail because:
You are on the CC list for the bug.___
wayland-bugs mailing list
wayland-bugs@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/wayland-bugs


[Wayland-bugs] [Bug 793462] gnome-terminal doesn't properly adjust back to HiDPI

2018-04-09 Thread gtk+
https://bugzilla.gnome.org/show_bug.cgi?id=793462

Christian Persch  changed:

   What|Removed |Added

 CC||r...@robster.org.uk,
   ||wayland-bugs@lists.freedesk
   ||top.org
  Component|general |Backend: Wayland
Version|3.26.x  |3.22.x
   Assignee|gnome-terminal-maint@gnome. |gtk-b...@gtk.org
   |bugs|
Product|gnome-terminal  |gtk+
 QA Contact|gnome-terminal-maint@gnome. |gtk-b...@gtk.org
   |bugs|

--- Comment #4 from Christian Persch  ---
-> gtk+

-- 
You are receiving this mail because:
You are on the CC list for the bug.___
wayland-bugs mailing list
wayland-bugs@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/wayland-bugs