MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

better colors for git log

Browse Source
This commit is contained in:
Konstantin Bulenkov
2013-03-14 14:53:50 +01:00
parent be8ea3de0c
commit d3d792033a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/git4idea/src/git4idea/history/wholeTree/GitLogUI.java
+2 -2
View File
@@ -1,5 +1,5 @@
/*
* Copyright 2000-2012 JetBrains s.r.o.
* Copyright 2000-2013 JetBrains s.r.o.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
@@ -1772,7 +1772,7 @@ public class GitLogUI implements Disposable {
}
interface Colors {
Color tag = new JBColor(new Color(0xf1ef9e), new Color(0x7D7B12));
Color tag = new JBColor(new Color(0xf1ef9e), new Color(113, 111, 64));
Color remote = new JBColor(new Color(0xbcbcfc), new Color(0xbcbcfc).darker().darker());
Color local = new JBColor(new Color(0x75eec7), new Color(0x0D6D4F));
Color highlighted = new JBColor(new Color(210,255,233), UIUtil.getTableBackground());