gnome-shell/js
Jonas Dreßler 7d40930cd6 windowPreview: Scale up by the same extra size for every window
Scaling differently sized WindowPreviews by a constant factor will
result in smaller windows getting enlarged by a smaller amount of pixels
than larger windows (1000*1.02=1020 but 100*1.02=102, one will grow by
20 pixels and the other one by 2), this can look a bit weird because
smaller windows don't scale up as much as larger windows.

So introduce a constant extra size to use when scaling windows up, we
set only the half size there because we want to ensure that the size
added on both sides is not fractional and we remain aligned to the pixel
grid.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1692>
2021-02-19 11:23:07 +00:00
..
dbusServices dbusServices/screencast: Use GTK4 2021-01-25 21:09:22 +01:00
gdm gdm: Override any other lower-priority service message on error 2021-02-16 18:00:10 +00:00
misc history: Trim input and ignore if empty 2021-02-13 08:58:20 +00:00
perf perf: Add basic run tests 2020-08-12 15:43:39 +00:00
portalHelper js: Don't use templates in files with translations 2020-02-17 23:20:40 +01:00
ui windowPreview: Scale up by the same extra size for every window 2021-02-19 11:23:07 +00:00
js-resources.gresource.xml Rename ViewSelector to SearchController 2021-02-11 21:14:36 +00:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js: Remove unused files from resources 2020-03-09 13:18:48 +00:00