[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-07-03 Thread Daniel van Vugt
Maybe not really fixed yet. Apparently it's still happening:
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7744

** Bug watch added: gitlab.gnome.org/GNOME/gnome-shell/-/issues #7744
   https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7744

** Changed in: gnome-shell (Ubuntu)
   Status: Fix Committed => Incomplete

** Tags removed: fixed-in-gnome-shell-47 fixed-upstream

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-06-23 Thread Daniel van Vugt
Fixed upstream: https://gitlab.gnome.org/GNOME/gnome-
shell/-/merge_requests/3354

** Changed in: gnome-shell (Ubuntu)
   Status: Confirmed => Fix Committed

** Tags added: fixed-in-gnome-shell-47 fixed-upstream

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-06-21 Thread Bug Watch Updater
** Changed in: gnome-shell
   Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-03-11 Thread Daniel van Vugt
The dock fix isn't actually a fix, it's just a workaround:
https://github.com/micheleg/dash-to-dock/commit/46b81aeb4bf18d2f8a75fbf2d0ef6c047f3711f2

I expect that if we can get a proper fix into gnome-shell then the
workaround can be removed.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-02-29 Thread Launchpad Bug Tracker
This bug was fixed in the package gnome-shell-extension-ubuntu-dock -
89ubuntu1

---
gnome-shell-extension-ubuntu-dock (89ubuntu1) noble; urgency=medium

  [ Marco Trevisan (Treviño) ]
  * metadata: Bump to version 89
  * dependencies/gi: Use shorter syntax for dependencies imports
  * eslint: Force dangle comma on multi-line imports
  * locations: Use TextDecoder instead of deprecated ByteArray
  * locations: Throw a clearer error if handlerApp is not found
  * locationsWorker: Exit with the main script exit code
  * docking: Do not manually dispose the settings object
  * docking: Use St.IconTheme directly, without wrappers
  * dependencies/gi: Do not import Gdk or Gtk into the shell
  * appIcons: Add support for translating plural forms
  * Utils: add supportsExtendedBarriers
  * cleanup: Style fixes

  [ Sergio Costas Rodriguez ]
  * Update for Gnome Shell 46
  * Preserve Gnome Shell 45 compatibility
  * Fix lack of Clutter.cairo_set_source_color
  * Use add_child in all the possible places
  * Remove the gray background in each icon
  * Show the currently focused application

  [ Stuart Hayhurst ]
  * appIcons: Use Mtk.Rectangle instead of Meta.Rectangle

  [ xalt7x.service ]
  * Update Ukrainian translation
  * Fix dashtodock.pot generation
  * Add missing third argument
  * Use the function ngettext directly
  * Update Ukrainian translation

  [ Balázs Úr ]
  * Update Hungarian translation

  [ Matej ]
  * Created sl-po

  [ hasecilu ]
  * Update Spanish translations

  [ Amr Ibrahim ]
  * Update German translation

  [ Piotr Wieczorek ]
  * Fix Polish translation of "Empty Trash"

  [ Yaroslav Pronin ]
  * Change "Show Details" to GNOME's "App Details"
  * Fix auto format indents

  [ Vincenzo ]
  * Fix for blurry background when opening a new application (LP: #1965123)
  * Simplify animation duration expression into one-liner

 -- Marco Trevisan (Treviño)   Fri, 01 Mar 2024
00:51:05 +0100

** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
   Status: Confirmed => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2024-01-30 Thread Dima Golub
I also have this problem on clear ubuntu

OS: Ubuntu 23.10
Kernel: 6.5.0-15-generic
Session: Wayland
GPU: rx6700xt
CPU: Ryzen 9 7950x


** Attachment added: "shakal.png"
   
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1965123/+attachment/5743571/+files/shakal.png

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[Bug 1965123] Re: Rounded corners are missing (square indents instead)

2023-06-19 Thread Daniel van Vugt
** Summary changed:

- Active launchers area pixels (corners) missing
+ Rounded corners are missing (square indents instead)

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1965123

Title:
  Rounded corners are missing (square indents instead)

To manage notifications about this bug go to:
https://bugs.launchpad.net/dash-to-dock/+bug/1965123/+subscriptions


-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs