gnome-shell:wip/raresv/uiTweaks

Last commit made on 2017-07-04
Get this branch:
git clone -b wip/raresv/uiTweaks https://git.launchpad.net/gnome-shell

Branch merges

Branch information

Name:
wip/raresv/uiTweaks
Repository:
lp:gnome-shell

Recent commits

de81475... by raresvis <email address hidden>

search.js: Vertically center the provider icon

c36f006... by raresvis <email address hidden>

update sass

bf884ae... by raresvis <email address hidden>

search.js: Apply the bold style in real time

7bbff9d... by raresvis <email address hidden>

search.js: Propagate searchResultsView down the hierarchy

04ad2b2... by =?utf-8?q?Florian_M=C3=BCllner?= <email address hidden>

util: Wrap g_regex_escape_string()

4ffbec5... by raresvis <email address hidden>

search.js: Increase maximum number of visible list search results

d35f2d3... by raresvis <email address hidden>

gnome-shell.css: Make search result description semitransparent

235d4b2... by raresvis <email address hidden>

gnome-shell.css: Use standard font size for the search-result-title class

9a00705... by raresvis <email address hidden>

search.js: Replace the gradient separator with a simple line

985e53a... by raresvis <email address hidden>

search.js: Tweak the sizes of search results icons

Just a small tweak of icon sizes. This patch could be easily
included in any of the two bigger patches.