mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
061032e882
The wrapper script checks for the WHY3IDE environment variable to decide whether it should intercept the "ide" command and launch broadwayd. Pango, as shipped in the deployed image, does not seem to appreciate font size specifications, thus causing text to appear only in menus and dialogs. So, we disable this feature when the GDK_BACKEND environment variable is set to "broadway".
9 lines
131 B
Bash
Executable File
9 lines
131 B
Bash
Executable File
#!/bin/dash
|
|
|
|
[ "$1" != "ide" -o "$WHY3IDE" != "web" ] && exec why3 "$@"
|
|
|
|
broadwayd &
|
|
sleep 1
|
|
export GDK_BACKEND=broadway
|
|
why3 "$@"
|