Surendrajat 4835b1b897 fix(gui): compact TabComponent labels and TabToolTip (#1120) (PR #1121) ...

* Compact CodePanel labels and TabToolTip
* Remove top padding from tab title

2021-02-21 15:01:10 +03:00

..

libs

gui: add font selection dialog

2015-03-16 22:44:21 +03:00

src

fix(gui): compact TabComponent labels and TabToolTip (#1120) (PR #1121)

2021-02-21 15:01:10 +03:00

build.gradle

build: remove Travis and Bintray, disable codecov and sonarqube (#1113)

2021-02-04 12:14:39 +00:00