#Conversion from MP4 to GIF :
- Capture screencast
- Edit with iMovie
- Export to MP4
- Convert online using : https://image.online-convert.com/fr/convertir/mp4-en-gif (no filter)
- Upload to plugin homepage at Intellij IDEA marketplace
- Get link to uploaded file
- Use this link in plugin.xml