xxe.install


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

post_install() {
    echo ""
    echo ""
    echo ">>> You have to read and accept the license agreement:"
    echo ">>>"
    echo ">>> https://www.xmlmind.com/xmleditor/license_xxe_perso.html"
    echo ""
    echo ""
    echo ">>> Localisation files may be available from Options -> Install Add-ons"
    echo ">>> UI Scaling can be activated from Options -> Preferences -> General"
    echo ""
    echo ""
}

post_upgrade() {
    fix_scaling=$(vercmp $2 9.4.1-2 )
    if [[ $fix_scaling -le 0 ]]
    then
        echo ""
        echo ">>> The _JAVA_OPTIONS variable is now set at launch to improve the UI-scaling."
        echo ">>> You may want to reconsider enabliung UI-scaling if you had issues."
        echo ">>> The setting is at Options -> Preferences -> General"
        echo ""
    fi
}