Skip to content

Commit

Permalink
Import inspection uses now same font size setttings as maintable (#4062)
Browse files Browse the repository at this point in the history
* Set import inspection table row size to the same size as the maintable

* add changelog
  • Loading branch information
Siedlerchr authored May 27, 2018
1 parent 787902c commit d2ddf93
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 0 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ We refer to [GitHub issues](https://github.com/JabRef/jabref/issues) by using `#
- We added a formatter for adding braces around the `title` field. E.g., `title = {ExamPle}` becomes `title = {{ExamPle}}`, which prevents BibTeX to convert it to lower case. You can use it at the [cleanup entries](http://help.jabref.org/en/CleanupEntries) functionality.
- We added a formatter to ensure correct en dashes in the `title` field. E.g., `title = {Example - illustrative}` becomes `title = {Example -- illustrative}`.
- We streamlined the defaults for a [cleanup of entries](http://help.jabref.org/en/CleanupEntries) in the case of BibTeX.
- The import inspection window now uses the same font size setting as the maintable [Feature request in the forum](http://discourse.jabref.org/t/inspection-window-and-others-line-height-of-table-too-small-for-fonts/1168)

### Fixed
- We fixed an issue where the export to clipboard functionality could not be invoked. [#3994](https://github.com/JabRef/jabref/issues/3994)
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -1358,6 +1358,12 @@ class EntryTable extends JTable {
public EntryTable(TableModel model) {
super(model);
getTableHeader().setReorderingAllowed(false);

setFont(GUIGlobals.currentFont);
int maxOfIconsAndFontSize = Math.max(GUIGlobals.currentFont.getSize(), Globals.prefs.getInt(JabRefPreferences.ICON_SIZE_SMALL));
setRowHeight(Globals.prefs.getInt(JabRefPreferences.TABLE_ROW_PADDING) + maxOfIconsAndFontSize);
// Update Table header with new settings
this.getTableHeader().resizeAndRepaint();
}

@Override
Expand Down

0 comments on commit d2ddf93

Please sign in to comment.