Bug#763791: jedit: Color glitch

[Victor Porton]

Package: jedit
Version: 5.1.0+dfsg-1
Severity: minor

Dear Maintainer,

When I click right mouse button in a text window,
a popup menu opens.

This menu's background is (almost) the same color as the
background color of the text window itself.

So it is not clearly visible where the border of the menu is.


-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: i386 (x86_64)

Kernel: Linux 3.10-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages jedit depends on:
ii  dpkg                           1.17.13
ii  java-wrappers                  0.1.28
ii  openjdk-6-jre [java6-runtime]  6b32-1.13.4-4
ii  openjdk-7-jre [java7-runtime]  7u65-2.5.2-4
ii  sun-java6-jre [java6-runtime]  6.26-0squeeze1

jedit recommends no packages.

jedit suggests no packages.

-- no debconf information