On 26/07/2017 22:55, Pavel Sanda wrote:
Tommaso Cucinotta wrote:On 25/07/2017 11:10, Pavel Sanda wrote:1. No "needauth" preferences (do not allow needauth from being disabled).instead of this, why don't we put some more stress on the action of disabling the "Use needauth option", e.g., the attached patch ?I am fine with this patch.
[lyxgit/8a4fcd3d]
(included a little fix so that the GUI knows when the dialog actually changed()
)
T.
