Code

Fix problems in source editor#3398

Code

Merged

Siedlerchr merged 1 commit intomasterJabRef/jabref:masterfrom sourceExceptionJabRef/jabref:sourceExceptionCopy head branch name to clipboardNov 4, 2017

+16-22

Commits

Commits on Nov 4, 2017

• Fix problems in source editor

  tobiasdiez

  committed
  7c01108