On 02/10/2016 01:47 PM, Wolfgang Bumiller wrote:
On Mon, Dec 07, 2015 at 04:17:06PM +0100, Wolfgang Bumiller wrote:
On December 7, 2015 at 4:10 PM Dietmar Maurer <[email protected]> wrote:
I am quite unsure about this one. Do we want to set title on client side,
or server side? Why do we want to mix styles?
Currently it's done on both sides...
Also, space inside tabs is limited, and the address line already contains
the hostname. So this just duplicates that information (Tested with
firefox and chrome)?
When you're on a different tab you don't see the address line. (See #822)
*bump*
Can we revisit this issue?
The main idea is that you don't have to click a tab before knowing which
host interface is loaded there. You can't see the address lines of
background tabs.
+1 from my side, would be neat.
_______________________________________________
pve-devel mailing list
[email protected]
http://pve.proxmox.com/cgi-bin/mailman/listinfo/pve-devel
