Eberhard Graether 2340b0d619 ui: Don't show dock widget title bars in default window settings

2018-04-10 11:34:06 +02:00

..

3rd_party_licenses

logic: added Gradle project setup (issue #379)

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

color_schemes

ui: Group graph nodes by file or namespace (issues #171, #439, #522)

2018-04-09 00:09:22 +02:00

fallback

ui: Don't show dock widget title bars in default window settings

2018-04-10 11:34:06 +02:00

fonts

ui: redesigned about window

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

gui

ui: Group graph nodes by file or namespace (issues #171, #439, #522)

2018-04-09 00:09:22 +02: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