blob: 02493ffb3f468b3945c95a45aadfba12abef0614 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
post_install() {
echo
echo "==> To enable Rounded Corners add this line to the \'<theme>\' section of your Openbox config."
echo "==> \'<cornerRadius>8</cornerRadius>\'"
echo "==> The patch also takes an argument for menu corners."
echo "==> \'<cornerRadius menu=\"yes\">8</cornerRadius>\'"
echo
echo "==> The rounded corners patch was taken from here:"
echo "==> https://forums.bunsenlabs.org/viewtopic.php?pid=46711#p46711"
echo
echo "==> See this post for caveats of the rounded corners patch:"
echo "==> https://forums.bunsenlabs.org/viewtopic.php?pid=42814#p42814"
echo
}
|