Code

Add color picker to groups dialog#4492

Code

Merged

tobiasdiez merged 3 commits intomasterJabRef/jabref:masterfrom groupEditJabRef/jabref:groupEditCopy head branch name to clipboardNov 19, 2018

+193-203

Commits

Commits on Nov 6, 2018

• Add color picker to groups dialog

  tobiasdiez

  committed
  9199487

Commits on Nov 15, 2018

• Improve layout of group edit window

  tobiasdiez

  committed
  ccd2823

Commits on Nov 19, 2018

• Fix build

  tobiasdiez

  committed
  31a2344