Zulip Chat Archive

Stream: Zulip meta

Topic: Zulip icon


Thomas Murrills (Sep 26 2022 at 22:17):

I noticed that the icon for the Zulip server doesn't quite fit in the box.

I happen to have made a square-ish icon for Lean for my own personal use in my organizer—it's a small thing, but I just thought I may as well offer it for use here as well in case it's useful! :)

(I thickened the lines so it would be legible at even smaller sizes than this, but making an SVG from scratch could provide the "right" thickness.)

LEAN-icon-4.png

Mario Carneiro (Sep 26 2022 at 22:35):

what is that icon coming from? I've never seen it

Mario Carneiro (Sep 26 2022 at 22:36):

I mean, I've seen the logo but not the icon or its context

Thomas Murrills (Sep 26 2022 at 22:38):

The first icon or the second?

Thomas Murrills (Sep 26 2022 at 22:41):

(The first appears in the sidebar of the zulip desktop app...but now that I think about it, I'm not sure I see the organization profile picture anywhere else in general! It appears also in "organization settings", but doesn't say what it's used for. The second I made, since I couldn't find a square icon for Lean and needed one for my organizer.)

Thomas Murrills (Sep 26 2022 at 22:47):

(Ah, the organization profile picture also seems to be shown to people when they first log in or sign up for the lean zulip chat. It's still cropped to a square, but is a bit bigger. So a more "official-looking" icon might be in order...after all, my icon is intended for tiny use. :) )

Mario Carneiro (Sep 26 2022 at 22:59):

There are a few square icons for lean used on this chat: :lean: :leanie:

Thomas Murrills (Sep 26 2022 at 23:08):

Oh, good to know! Maybe one of them would make a good organization profile picture, then, or might be useful for me in my organizer! :grinning_face_with_smiling_eyes: (I made the square icon before I joined the zulip, and shared before I even knew there were custom emojis :upside_down:)


Last updated: Dec 20 2023 at 11:08 UTC