Oliver Kopp

Results 697 issues of Oliver Kopp

I have a structured text with TODOs. I think, convert to Markdown either does nothing or uses text only: ![grafik](https://github.com/user-attachments/assets/5af3f9cc-f14e-4254-b650-1a61bf846d0e) I think - All headings should be converted to markdown...

no-repro

### The Problem When I hover on text (1), there are action buttons shown (2) ![Image](https://github.com/user-attachments/assets/134cc940-83fa-45a7-b34b-55b01341be05) Prolbem: They are very far away When I navigate with the mouse to it,...

enhancement

Java build systems such as gradle or maven come with packages scripts downloading the entire build system. I think, these files should be excluded: - `gradlew.bat` and `gradlew` for [gradle](https://docs.gradle.org/current/userguide/gradle_wrapper.html)...

suggestion

### Checklist - [X] I have read and accepted the [contributing guidelines](https://github.com/cotes2020/jekyll-theme-chirpy/blob/master/docs/CONTRIBUTING.md). ### Is your feature request related to a problem? Please describe The posts offer a "last udpated" information,...

enhancement

I have comment count 3, but the PR has much more: https://github.com/JabRef/jabref/pull/12710 I "deleted" the other comments using `comment.delete()`. It seems this has no effect on the UI. In the...

enhancement

If I go to the gradle plugin portal, I don't find this plugin when searching for "jpackage": https://plugins.gradle.org/search?term=jpackage ![Image](https://github.com/user-attachments/assets/f63c9c3c-9386-4fd3-bb29-4e3028fea0e9) It should be listed there. Requires an admin key. Refs https://github.com/beryx/badass-jlink-plugin/issues/223.

[Gradle's Configuration Cache](https://docs.gradle.org/current/userguide/configuration_cache.html) speeds up compilation. - Task `createDelegatingModules` of type `org.beryx.jlink.CreateDelegatingModulesTask`: cannot serialize object of type 'org.gradle.api.internal.project.DefaultProject', a subtype of 'org.gradle.api.Project', as these are not supported with the configuration...

Every minute, I get following pop up ![Image](https://github.com/user-attachments/assets/3ef37a06-b9dc-4cb7-be1d-4553e28f43ac) My Windows 10 switches desktops to that IntelliJ instanace. Very annoying when I am working on something else. Even after "Log In...

enhancement

I do: 1. `cd BuchiAutomizer` 2. `mvn compile` I get ``` [INFO] The artifact can be referenced in feature files with the following data: [INFO] Downloading from p2: https://struebli.informatik.uni-freiburg.de/p2-repository-ultimate-dependencies/p2.index [INFO]...

build system / releases