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 742542 - Build tool dialog: better read-only mode for default build tools
Build tool dialog: better read-only mode for default build tools
Status: RESOLVED FIXED
Product: gnome-latex
Classification: Other
Component: general
unspecified
Other Linux
: Normal enhancement
: unspecified
Assigned To: LaTeXila maintainer(s)
LaTeXila maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2015-01-07 18:29 UTC by Sébastien Wilmet
Modified: 2015-04-08 10:11 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Sébastien Wilmet 2015-01-07 18:29:48 UTC 
Default build tools should be better marked as read-only. It should still be possible to _open_ a default build tool (not _edit_ it), and _copy_ its text fields, not edit them.

Maybe some users loose some time editing a default build tool, close the dialog window and then notice that the build tool didn't change…