<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
<div class="Ih2E3d"><br>
> Looking at the use cases, one tempting way to streamline the UI is to use<br>
> modifier keys. Shift-view source would always point to Develop, while<br>
> unmodified view source would default to Develop but be overrideable by a<br>
<br>
</div>I think this is ultimately the wrong course. If we can come up with a<br>
solution that presents options in a meaningful way without prior<br>
knowledge of the user, we are much better off in my opinion. I think<br>
my above proposal is a potential direction which could make this work.<br>
<div><div></div><div class="Wj3C7c"></div></div></blockquote><div><br>I agree, your proposal above is closer to ideal (though mine is easier in the short term). However, part of my motivation for my modifier key proposal was that some of the within-same-activity use cases could be everyday uses, where an intervening dialog would be an annoyance. Can you think of a way for the power user to short-circuit the dialog? For instance, there could be some fine print in the dialog to the effect that "future shift-view-source from this activity will repeat whatever option you select now".<br>
</div></div><br>