Merge commit '21ad6043cd48fbe2d52a5eb18c29e09b4b80bc9f' into kraken * commit '21ad6043cd48fbe2d52a5eb18c29e09b4b80bc9f': Rename tab widget attributes, remove scroll barrier constant.
Merge commit '21ad6043cd48fbe2d52a5eb18c29e09b4b80bc9f' into kraken * commit '21ad6043cd48fbe2d52a5eb18c29e09b4b80bc9f': Rename tab widget attributes, remove scroll barrier constant.