Redstone emoji library for Draw.io and a tool for converting Draw.io <> Discord emojis.
The redstone emojis are made by cmoa#8392.
- Draw.io redstone library: https://towsti.github.io/drawio-redstone/All.xml
- Conversion tool for converting Draw.io selection <> Discord emojis
-
Open an existing Draw.io file or create a new file
-
(suggested) Set the grid size to 64p
-
File>Open Library from>URL... -
Use the following URL: https://towsti.github.io/drawio-redstone/All.xml
-
Click
Open
The conversion tool is used to convert between a Draw.io selection and Discord emojis.
-
Open the conversion tool and set the conversion to "Emoji > Draw.io"
-
Paste the Emoji data in the input field
-
Click
Convert -
Copy the output selection and paste it in a Draw.io file
*The selection is always placed on 0,0 in the Draw.io file.
-
Select the part that will be converted
- Can contain non-filled areas
- Currently cannot contain rotated redstone images
-
Copy CTRL+C the selection
-
Open the conversion tool and set the conversion to "Draw.io > Emoji"
-
Paste CTRL+v the selection in the input field
-
Click
Convert -
Copy the output selection and paste it discord
updating image library
- Clone the repository
- Modify/add/remove images in the "Emojis/All" folder
- Images must be 64*64 pixels and ".png" format
- Create a new library from any Draw.io library from the updated "Emojis/All" folder
- Overwrite the existing "All.xml" with the new xml library
- Update
const ALL"in Converter/logic.js" - Commit and push the changes
- Possibly, fork drawio-desktop and add direct support for the image library and conversion
- Rotation table for Draw.io > emoji conversion to allow rotating images in Draw.io and a "Minimal.xml" library
- Discord emoji preview window



