Embed Notice

HTML Code

<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://peoplemaking.games/users/ben/statuses/111895852731606115">Ben Rolfe 🌳 (ben@peoplemaking.games)'s status on Thursday, 08-Feb-2024 21:39:25 JST</a><a href="https://peoplemaking.games/@ben" title="ben@peoplemaking.games"><img src="https://gnusocial.jp/avatar/158854-48-20230809083346.webp" width="48" height="48" alt="Ben Rolfe 🌳" style="position: absolute; left: 0; top: 0;">Ben Rolfe 🌳</a></section><article><p>Does anyone happen to know where that little &gt;| tab symbol comes from in Godot's editor?</p><p>It doesn't seem to be any of the normal tab-representing unicode characters, U+2409 (␉), U+21E5 (⇥), or U+2B72 (⭲) and I've pored through the JetBrains Mono character map with no luck.</p><p>At this point I'm guessing that it doesn't come from the font at all.</p><p>Can anyone please help with this? I'm trying to make some documentation with code that looks as much like it would in the Godot editor as possible.</p><p>Thanks in advance!</p><p><a href="https://peoplemaking.games/tags/GodotEngine" rel="tag">#GodotEngine</a> <a href="https://peoplemaking.games/tags/Godot" rel="tag">#Godot</a></p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/2692645#notice-5339306">In conversation</a><time datetime="2024-02-08T21:39:25+09:00" title="Thursday, 08-Feb-2024 21:39:25 JST">about 10 months ago</time> <span>from <span><a href="https://peoplemaking.games/@ben/111895852731606115" rel="external" title="Sent from peoplemaking.games via ActivityPub">peoplemaking.games</a></span></span><a href="https://peoplemaking.games/@ben/111895852731606115">permalink</a><h4>Attachments</h4><ol><li><label><a rel="external" href="https://gnusocial.jp/attachment/2231642">Closeup of some code showing the symbol</a></label><br><a href="https://s3.wasabisys.com/pmg-media/media_attachments/files/111/895/821/471/760/127/original/2daffce5fda5c29b.png" rel="external">https://s3.wasabisys.com/pmg-media/media_attachments/files/111/895/821/471/760/127/original/2daffce5fda5c29b.png</a></li><li><article><header><div>No result found on File_thumbnail lookup.</div><h5><a href="https://sedo.com/search/details/?partnerid=324561&amp;language=ja&amp;domain=luck.at&amp;origin=sales_lander_1&amp;utm_medium=Parking&amp;utm_campaign=offerpage">luck.at is available for purchase - Sedo.com</a></h5><div></div></header><div></div><footer></footer></article></li></ol></footer></blockquote>

Corresponding Notice

Embed this notice
Ben Rolfe 🌳 (ben@peoplemaking.games)'s status on Thursday, 08-Feb-2024 21:39:25 JST Ben Rolfe 🌳
Does anyone happen to know where that little >| tab symbol comes from in Godot's editor?
It doesn't seem to be any of the normal tab-representing unicode characters, U+2409 (␉), U+21E5 (⇥), or U+2B72 (⭲) and I've pored through the JetBrains Mono character map with no luck.
At this point I'm guessing that it doesn't come from the font at all.
Can anyone please help with this? I'm trying to make some documentation with code that looks as much like it would in the Godot editor as possible.
Thanks in advance!
#GodotEngine #Godot
In conversationabout 10 months ago from peoplemaking.gamespermalink
Attachments
1. Closeup of some code showing the symbol
  https://s3.wasabisys.com/pmg-media/media_attachments/files/111/895/821/471/760/127/original/2daffce5fda5c29b.png
2. No result found on File_thumbnail lookup.
  luck.at is available for purchase - Sedo.com

Public

Embed Notice

HTML Code

Corresponding Notice