Is there some way to define a custom window title or icon bitmap for the PVS windows in the gnome or kde taskbar? The taskbar shows all the PVS windows as "PVS 15.23-64b" followed by "L..." for LVS, "D..." for DRC etc. Is it possible to drop the "15.23-64b" from the taskbar title, to make the different PVS windows more readily identifiable, e.g. "PVS LVS" "PVS DRC".
↧