diff options
author | raresvis <rares.visalom@gmail.com> | 2017-06-28 01:01:13 +0300 |
---|---|---|
committer | raresvis <rares.visalom@gmail.com> | 2017-07-05 00:32:16 +0300 |
commit | bf884ae9ea2a158089b4a7abbcb6eebb568f8a40 (patch) | |
tree | f266b558fb86453fab5420b3a09ffb024ed9fb2e /data/theme/gnome-shell.css | |
parent | 7bbff9d0c0cb2a6f0594bfb7fd71754793270046 (diff) | |
download | gnome-shell-bf884ae9ea2a158089b4a7abbcb6eebb568f8a40.tar.gz |
search.js: Apply the bold style in real time
Diffstat (limited to 'data/theme/gnome-shell.css')
0 files changed, 0 insertions, 0 deletions