search

maoschanz / appfolders-manager-gnome-extension

A GNOME extension allowing easy management of "appfolders" directly from the applications grid.
GNU General Public License v3.0
94 stars 24 forks source link

Fix a display bug when adding apps to a folder #90

Closed Sindweller closed 4 years ago

Sindweller commented 4 years ago

fix https://github.com/maoschanz/appfolders-manager-gnome-extension/issues/82 Add several steps about recompute and redisplay after adding an app into a folder, the app icon may not become bigger and bigger.

maoschanz commented 4 years ago

i'll review that when i'll have installed a VM with 18.04

Sindweller commented 4 years ago

i'll review that when i'll have installed a VM with 18.04

Thanks for revewing. This could also be reproduced in fedora30.