aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorHugo Herbelin2018-11-11 15:05:58 +0100
committerHugo Herbelin2018-11-11 15:44:10 +0100
commit008354e71473ecdae0ca34dd5af951c4a4ae18dc (patch)
treec33905849291b5272ef9b2e9e76e3b8153c9a368 /dev
parent35a11a5567d660e545ad39c03b9bef39c26380ba (diff)
A private copy of lablgtk's question_box supporting the "parent" option.
The "parent" option allows to attach the box to the parent box. This ensures that the dialog box, which blocks action on the main window, does not get hidden by the main window. Idem for the message_box.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions