I have a GitHub project that’s a Java 8 library, and that has a permanent branch to produce versions for Android. I use a separate workspace for each branch (they use different JDKs after all), but I still occasionally find myself editing on the wrong branch. It’d be nice if I could watermark all editor and terminal tabs with a giant number 8 or a giant Android logo according to which workspace I was in, or better yet according to which Git branch I was in. How hard would this be to implement?
you can use user script feature to do this
In simplest form it can be something like
if (/androidworkspacename/.test(location.href)) document.querySelector(".c9-menu-btn.c9btn").style.color = "gold"