Eberhard Graether ea8ab3df8e ui: Custom style for dock widget title bars ...

* avoid style loading in every view on application start
* improved contrast of reference label
* moved Reset Window Layout action up in View menu

2018-01-05 01:06:49 +01:00

..

3rd_party_licenses

logic: added Gradle project setup (issue #379)

2017-10-02 18:43:59 +02:00

color_schemes

ui: Custom style for dock widget title bars

2018-01-05 01:06:49 +01:00

fallback

data: changed default indexer thread count to 0

2017-08-22 16:36:16 +02:00

fonts

ui: redesigned about window

2016-02-16 16:10:22 +01:00

gui

ui: Custom style for dock widget title bars

2018-01-05 01:06:49 +01:00

install

build: offer windows 64 bit build (issue #300)

2017-02-03 14:31:43 +01:00

java/gradle

logic: minor gradle project setup fix

2017-10-31 17:12:37 +01:00

color_scheme_template.xml

data: indexing java

2016-08-04 09:20:13 +02:00

ProjectSettings_template.xml

logic: source groups for project settings

2017-03-31 16:11:37 +02:00