<app.pulumi.com> and documentation pages have same...
# generalb
best-xylophone-83824
08/27/2019, 9:53 AMapp.pulumi.com and documentation pages have same favicon, it is minor inconvenience but it would be nice if they differ
c
colossal-beach-47527
08/27/2019, 3:16 PMAny particular reason why you’d want a different favicon for app.pulumi.com and www.pulumi.com? Should be an easy change to make, I’ll see if I can can roll that out this week.
b
best-xylophone-83824
08/27/2019, 3:18 PMwell,I have our stack consoles and then I have docs opened all the time and it just easier to find stack console if favicon is different
best-xylophone-83824
08/27/2019, 3:18 PMbasically I have so many tabs that favicon is all I have 🙂
best-xylophone-83824
08/27/2019, 3:19 PMI should really invest time into learning something like VSCode, then there would be no need for so many tabs with API docs
c
colossal-beach-47527
08/27/2019, 3:20 PM… of all the problems our users might have, too many open tabs is probably one of the better ones for them to have 😄 But yeah, I can see how this would make things difficult. This should be fixed later this week.
colossal-beach-47527
08/27/2019, 3:20 PM+1 to the idea of using VSCode. For navigating documentation, drilling into source, etc. it all “just works”. I’d definitely recommend it.
b
best-xylophone-83824
08/28/2019, 10:03 AMgiving up on VSCode, it doesn't work behind proxy with custom CA certs 😞