Einfügen von jEdit in gmail funktioniert nicht mehr

  • Hallo zusammen,

    seit gestern bin ich nicht mehr in der Lage aus jEdit heraus Code in gmail einzufügen.
    gmail öffne ich über firefox 40.0.3

    Genauer:
    c/p mittels CTR+C und CTRL+V bzw mittels Maus-menü klappt nur für die Adresse und das Thema aber nicht für die eigentliche mail.
    Allerdings funktioniert das markieren und einfügen durch die mittlere Maustaste.
    Ich kann aus jEdit heraus überall sonst einfügen, sowie von überall (außer jEdit) in gmail.


    Ich benutze Ubuntu 14.04

    $ uname -a
    Linux kasten 3.13.0-63-generic #103-Ubuntu SMP Fri Aug 14 21:42:59 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux

    $ jedit -version
    jEdit 5.1.0
    (jEdit habe ich ebenfalls bereits reinstalliert)

    mittlerweile habe ich auch versucht java zu ändern (ohne Erfolg), ist jetzt:
    $ java -version
    java version "1.6.0_36"
    OpenJDK Runtime Environment (IcedTea6 1.13.8) (6b36-1.13.8-0ubuntu1~14.04)
    OpenJDK 64-Bit Server VM (build 23.25-b01, mixed mode)

    Auf der jedit-user-mailinglist wurde vorgeschlagen

    Code
    permission java.awt.AWTPermission "accessClipboard";


    in das java.policy file einzufügen.
    Habe ich auch versucht, ohne Erfolg.


    Mittlerweile weiß ich nicht mehr was ich noch versuchen könnte, denn ich hätte das bislang funktionierende CTR+C und CTRL+V gerne zurück.

    Hat jemand noch einen Rat?

    Gruß,
    Harm

    P.S.
    Möglicherweise mag folgender thread von Bedeutung sein:
    https://support.mozilla.org/en-US/questions/1041949
    bzw
    https://bugzilla.mozilla.org/show_bug.cgi?id=1123505
    regression?

  • Ich bin jetzt auf Ubuntu 15.04 (neu aufgespielt) mit jEdit 5.1.0 und java version "1.7.0_79" (beides aus der distro).
    Und das Problem existiert nicht mehr.
    Keine Ahnung was es eigentlich verursacht hat, bzw was genau es jetzt gefixt hat.

    Gruß,
    Harm

    Edit:
    Vergaß zu erwähnen:
    Firefox jetzt mit Version 41.0