GitHub repository: pulsar-edit/encoding-selector
Primary language: JavaScript
Description: Pick an encoding for the current editor