blob: 1fe3da3ad9d1e1e8a6288002431e9234eeeba331 (
plain)
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 7.4.1-2 $2)
if [[ $fix_scaling -lt 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
}
|