express.ui.page_opts(title = ...) now always generates a header

[cpsievert]

Closes #1015

[wch]

It would be useful to be able to set the window title separately from the on-page title. How about having two separate args, window_title and title, and if window_title isn't provided, it defaults to the value of title?

[cpsievert]

Yea, we can definitely add that, but I think it'll time a bit of time to do properly -- let's maybe add that as an item for the next release and take this now?

[wch]

I just went ahead and implemented the window_title and title behavior.

[cpsievert]

@wch FWIW 73463e2 won't handle Tag/TagList values for title as well as we do in other places. For example, this will put <h6>Title</h6> on the browser tab (i.e., <title>):

from shiny.express import ui

ui.page_opts(title=ui.h6("Title"))

Whereas, this will actually extract the string, so that the tab says Title, not <h6>Title</h6>

import shiny.express
from shiny.ui import panel_title

panel_title(ui.h6("Title"))

[wch]

Interesting... title is expected to be a string based on the type hints, but I suppose it is possible that someone would pass in a Tag/Taglist object. I'll file an issue about it.