Ingmar Lippert

Results 41 issues of Ingmar Lippert

Often during my work I listen to music. When the pomodoro break starts, I want the music to pause, to be able to listen Pomodor's "start of break sound". After...

### How to use GitHub * Please use the 👍 [reaction](https://blog.github.com/2016-03-10-add-reactions-to-pull-requests-issues-and-comments/) to show that you are affected by the same issue. * Please don't comment if you have no relevant...

enhancement
feature: activity

v 6.0.0 Starting to install davmail on a linux machine first time. the Azul download results in: -- 2193k tar (child): jre.tgz: Cannot open: No such file or directory tar...

Not a normal case, but maybe not an unreasonable request: I have a computer without working ctrl key. I can successfully use elsewhere a context click/right click to get a...

answered

I am a happy user of davmail. When running davmail from the command line under wayland, I get this GTK Message `Failed to load module "pk-gtk-module`. Happy to provide more...

I saved my file, and got this exception. I cannot repeat this. JabRef 5.0--2020-03-09--6bff936 Linux 5.5.8-200.fc31.x86_64 amd64 Java 13.0.2 Inspired by the discussion at https://github.com/JabRef/jabref/issues/4877 I like to contribute the...

type: bug 🐛
export / save

### JabRef version Other (please describe below) ### Operating system GNU / Linux ### Details on version and operating system JabRef 5.7--2022-05-15--a90ee23 Linux 5.17.6-300.fc36.x86_64 amd64 Java 18.0.1 JavaFX 18+12 ###...

type: bug 🐛
ui
os: linux
groups
good first issue

### JabRef version Latest development branch build (please note build date below) ### Operating system GNU / Linux ### Details on version and operating system JabRef 5.5--2022-01-09--7d4916e Linux 5.15.13-200.fc35.x86_64 amd64...

type: bug 🐛
keygenerator
duplicateFinder

running Linux, Fedora 33, wayland. JabRef 5.3--2021-01-13--4d8e4f0 Linux 5.9.16-200.fc33.x86_64 amd64 Java 15.0.1 JavaFX 15.0.1+1 I use several monitors. I am frustrated because JabRef forgets its location to which I had...

type: enhancement
ui

Different users use JabRef's group feature in different ways, generating different demands. A user with only a few groups, might want to see all the groups at the same time....

type: enhancement
groups