devexx23

This extension allow you to rename tab title. This is very useful extension especially in case you have multiple tabs opened with…