Zulip icon

Stream: Zulip meta

[Thomas Murrills]

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]

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

[Mario Carneiro]

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

[Thomas Murrills]

The first icon or the second?

[Thomas Murrills]

(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]

(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]

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

[Thomas Murrills]

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:)