English
Ask Your Question
1

How can I change the font dash size in gnome shell ?

asked 2014-05-20 14:03:46 +0000

karlitos gravatar image

updated 2014-10-01 16:55:57 +0000

mether gravatar image

Hello,

I would like to increase the size of the text, which appears beside the icons in dash, when I run over them with the mouse. I tried to change different font-size parameters in the gnome-shell.css file, but this had no effect on the text displayed in the dash.

I am using gnome shell 3.10 and 3.12.

EDIT:

Here is an example-screenshot :

image description

I wpuld like to increase the font-size of the tooltip.

edit retag flag offensive close merge delete

Comments

You need to use the exact css selector of the UI element you want to tweak the font size of.

Could you post a screenshot somewhere on the internet that shows the bit you want to change? another option is to increase the "text scaling factor" (i.e. the dpi) in gnome-shell, but of course this will affect all the GUI elements in GNOME.

Ahmad Samir ( 2014-05-28 06:02:11 +0000 )edit

Thanks for replying. I edited my question and appended an image of what I ment.

karlitos ( 2014-05-28 07:35:10 +0000 )edit

YES ! Thank you very much, this was exactly what i was looking for. You could write your comment as an answer, so I can accept it.

karlitos ( 2014-05-28 08:46:12 +0000 )edit

2 answers

Sort by ยป oldest newest most voted
1

answered 2014-05-28 08:21:41 +0000

Ahmad Samir gravatar image

updated 2014-05-28 08:52:32 +0000

The CSS selector for the dash icons tooltip is .dash-label.

edit flag offensive delete link more
0

answered 2014-05-21 03:22:06 +0000

You can try using gnome-tweak-tool

edit flag offensive delete link more

Comments

Ok, and which font size in the twek-tool affects the text in dash ? I tried it already but it did not bring any results.

karlitos ( 2014-05-21 06:29:49 +0000 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

[hide preview]

Use your votes!

  • Use the 30 daily voting points that you get!
  • Up-vote well framed questions that provide enough information to enable people provide answers.
  • Thank your helpers by up-voting their comments and answers. If a question you asked has been answered, accept the best answer by clicking on the checkbox on the left side of the answer.
  • Down-voting might cost you karma, but you should consider doing so for incorrect or clearly detrimental questions and answers.

Question Tools

Follow
1 follower

Stats

Asked: 2014-05-20 14:03:46 +0000

Seen: 1,071 times

Last updated: May 28 '14