Conversation

Notices

1. Embed this notice
   翠星石 (suiseiseki@freesoftwareextremist.com)'s status on Thursday, 08-Feb-2024 21:39:24 JST 翠星石

   in reply to

   • Ben Rolfe 🌳
   @ben To me it looks like it's the 2 >| characters, in a font that has a reduced height for | and breadth for >.
   
   The only way to be sure is to check the godot source code (I would check if for you if I had the time to git clone the whole repo, as you can't see anything on github anymore without running proprietary JavaScript).
   
   The easiest way to replicate it would be to take a screenshot of the character, crop it to size and remove the background and save to a png (too bad that'll only really work with HTML documentation, where you can inject a charter sized png wherever you want really).
   • 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