After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 759789 - mainWindow: make subtitle label selectable
mainWindow: make subtitle label selectable
Status: RESOLVED DUPLICATE of bug 748245
Product: polari
Classification: Applications
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: Polari maintainers
Polari maintainers
Depends on:
Blocks:
 
 
Reported: 2015-12-22 22:00 UTC by Stefano Facchini
Modified: 2016-02-09 10:31 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
mainWindow: make subtitle label selectable (970 bytes, patch)
2015-12-22 22:00 UTC, Stefano Facchini
none Details | Review

Description Stefano Facchini 2015-12-22 22:00:17 UTC
I think it can be useful sometimes. For instance to try the CSS snippet in the gtk+ channel :)
Comment 1 Stefano Facchini 2015-12-22 22:00:21 UTC
Created attachment 317802 [details] [review]
mainWindow: make subtitle label selectable
Comment 2 Florian Müllner 2015-12-23 12:33:25 UTC
(In reply to Stefano Facchini from comment #0)
> I think it can be useful sometimes.

I agree that copying the topic can be useful (see also bug 748245). However selectable subtitles make a significant part of the titlebar unavailable for window dragging and other titlebar operations, so I'd rather try to come up with other options to make the functionality available without the drawbacks.
Comment 3 Florian Müllner 2016-02-09 10:31:52 UTC

*** This bug has been marked as a duplicate of bug 748245 ***