Re: [gnome-flashback] gnome-flashback-list Digest, Vol 40, Issue 1



I greatly prefer the:  "After+margin" look.

Thanks for your work!

~Chris


On Mon, Aug 1, 2016 at 7:00 AM <gnome-flashback-list-request gnome org> wrote:
Send gnome-flashback-list mailing list submissions to
        gnome-flashback-list gnome org

To subscribe or unsubscribe via the World Wide Web, visit
        https://mail.gnome.org/mailman/listinfo/gnome-flashback-list
or, via email, send a message with subject or body 'help' to
        gnome-flashback-list-request gnome org

You can reach the person managing the list at
        gnome-flashback-list-owner gnome org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of gnome-flashback-list digest..."
Today's Topics:

   1.  Improving the tasklist style (Antonio Ospite)



---------- Forwarded message ----------
From: Antonio Ospite <ao2 ao2 it>
To: gnome-flashback-list gnome org
Cc: 
Date: Mon, 1 Aug 2016 12:36:26 +0200
Subject: [gnome-flashback] Improving the tasklist style
Hi,

I am trying to improve the style of the tasklist in gnome-panel:
https://bugzilla.gnome.org/show_bug.cgi?id=769012

Does anyone have a preference between the two "After" variants in the
screenshot attached to the bug report? One is without margins around
buttons, and one is with a 1px margin.

Thanks,
   Antonio

--
Antonio Ospite
http://ao2.it

A: Because it messes up the order in which people normally read text.
   See http://en.wikipedia.org/wiki/Posting_style
Q: Why is top-posting such a bad thing?

_______________________________________________
gnome-flashback-list mailing list
gnome-flashback-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-flashback-list


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]