[gui] Replace `ignore_permission' checkbox with direct question.
commit74942773e36dcb33e0955a8aeb0a7afe504e26a0
authorWerner Lemberg <wl@gnu.org>
Sun, 22 Jan 2012 10:37:01 +0000 (22 11:37 +0100)
committerWerner Lemberg <wl@gnu.org>
Sun, 22 Jan 2012 10:37:01 +0000 (22 11:37 +0100)
treeaec847479451cfd29fbbff06cbb112a1e01846b0
parent5667c0942db5b7776b341f3701b08d1bced865b8
[gui] Replace `ignore_permission' checkbox with direct question.
frontend/maingui.cpp
frontend/maingui.h