[Webkit-unassigned] [Bug 32926] Styles Inspector: Revert font back to "'Lucida Grande', sans-serif" and "10px"

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Sun Apr 11 04:02:37 PDT 2010


https://bugs.webkit.org/show_bug.cgi?id=32926


Nikita Vasilev <me+webkit at elv1s.ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #53055|0                           |1
        is obsolete|                            |




--- Comment #13 from Nikita Vasilev <me+webkit at elv1s.ru>  2010-04-11 04:02:37 PST ---
Created an attachment (id=53085)
 --> (https://bugs.webkit.org/attachment.cgi?id=53085)
Lucida Grande 11px for Elements pane

Well, I've generated patch via `git format-patch`. I hope it's the right
format.


(In reply to comment #12)
> Still, I am convinced that all the UI fragments that correspond to the user's
> source code should be rendered as in IDE (i.e. monospace). I think that
> monospace migration of the DOM itself was received fairly well. And I don't see
> a big difference between the dom and the styles. ...

I just made what Chris proposed in first comment. I'm totally agree with him
(except a font size, 10px is too small, 11px looks better for me).

I think monospaced font good:
 1) when you need to move cursor vertically
 2) at rendering 1 l I i, 0 O

(1) doesn't work in DOM and Styles panels. You never move cursor vertically.

A sans serif font is much more readable and more compact.


(In reply to comment #2)
> We are in process of changing the styles pane even further. The idea behind the
> change / series of changes is that we use monospace font for source code and
> for the parts of the UI that user can actually edit.

What exactly do you mean by "parts of the UI that user can actually edit"? User
can edit DOM and CSS in the Elements panel. User can write in the console. All
those things already have a monospaced font.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list