diff --git a/DEVELOPERS b/MAINTAINERS similarity index 100% rename from DEVELOPERS rename to MAINTAINERS diff --git a/build.gradle b/build.gradle index 2b78e2375c30..3697c63d3ef3 100644 --- a/build.gradle +++ b/build.gradle @@ -269,7 +269,7 @@ processResources { filesMatching("build.properties") { expand(version: project.findProperty('projVersionInfo') ?: '100.0.0', "year": String.valueOf(Calendar.getInstance().get(Calendar.YEAR)), - "developers": new File('DEVELOPERS').readLines().findAll { !it.startsWith("#") }.join(", "), + "maintainers": new File('MAINTAINERS').readLines().findAll { !it.startsWith("#") }.join(", "), "azureInstrumentationKey": System.getenv('AzureInstrumentationKey'), "springerNatureAPIKey": System.getenv('SpringerNatureAPIKey'), "astrophysicsDataSystemAPIKey": System.getenv('AstrophysicsDataSystemAPIKey'), diff --git a/src/main/java/org/jabref/gui/help/AboutDialog.css b/src/main/java/org/jabref/gui/help/AboutDialog.css index 9793ab8df1e0..04dd4e9d0e76 100644 --- a/src/main/java/org/jabref/gui/help/AboutDialog.css +++ b/src/main/java/org/jabref/gui/help/AboutDialog.css @@ -37,6 +37,10 @@ -fx-padding: 5px; } +.contrib-section { + -fx-padding: 5 5 10 5; +} + .logo-pane { fx-fill: transparent; } diff --git a/src/main/java/org/jabref/gui/help/AboutDialog.fxml b/src/main/java/org/jabref/gui/help/AboutDialog.fxml index ee7b925c49e7..2312d98f0339 100644 --- a/src/main/java/org/jabref/gui/help/AboutDialog.fxml +++ b/src/main/java/org/jabref/gui/help/AboutDialog.fxml @@ -15,7 +15,7 @@ - + @@ -83,13 +83,11 @@ -