Closed karollewandowski closed 6 years ago
Developers often use "Pin tab" feature in browser and this REPL is a tab I will probably never close. It would be nice to have favicon to distinguish REPL from other tabs without favicons.
Developers often use "Pin tab" feature in browser and this REPL is a tab I will probably never close. It would be nice to have favicon to distinguish REPL from other tabs without favicons.