| http://www.w3.org/ns/prov#value | - In some cases, the other windows are not document windows and are fairly small, but from what you are saying even if I open a new window while in one of those, since it is not a document window, it would not affect the size. There is a problem lurking there: if I only have one document window, then all other windows (separate tools windows, in particular) would open at the same size of my document on
|
