diff options
| author | Hugo Herbelin | 2018-11-11 15:05:58 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-11-11 15:44:10 +0100 |
| commit | 008354e71473ecdae0ca34dd5af951c4a4ae18dc (patch) | |
| tree | c33905849291b5272ef9b2e9e76e3b8153c9a368 /dev/ci/ci-plugin-tutorial.sh | |
| parent | 35a11a5567d660e545ad39c03b9bef39c26380ba (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/ci/ci-plugin-tutorial.sh')
0 files changed, 0 insertions, 0 deletions