commit | fd38b14fba5f0425b4e201ef3214e2c106ab6c1c | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Thu Oct 17 14:49:32 2013 +0200 |
committer | Dani Megert <dmegert> | Thu Oct 17 14:49:32 2013 +0200 |
tree | cb7191dace66c45effe2a7988da23f28ad570d15 | |
parent | f52fcfb7ad23781706e80efd2e74f064d36edf56 [diff] |
Fixed bug 419094: [CSS] [Themes] Setting CSS background color gradient to Java editor causes NPE when it is closed