Alexander Schwartz

Results 647 comments of Alexander Schwartz

A proper form is now available, partly with auto-complete. Currently no auto-complete for the path yet. Error messages missing.

Hi @chrisvest - the IntelliJ plugin works independent of the Asciidoclet Javadoc plugin: [it takes the AsciiDoc source from the Javadoc and passes it to an 2.x AsciidoctorJ instance](https://github.com/asciidoctor/asciidoctor-intellij-plugin/blob/master/src/main/java/org/asciidoc/intellij/javadoc/AsciiDocJavaDocInfoGenerator.java). Therefore...

No worries, take your time. Just a note: Asciidoclet support moved to its [own companion plugin for IntelliJ 2020.2+](https://intellij-asciidoc-plugin.ahus1.de/docs/users-guide/features/advanced/asciidoclet.html).

I've implemented something similar for the AsciiDoc plugin. Most of the download code can be found in [AsciiDocDownloaderUtil.java](https://github.com/asciidoctor/asciidoctor-intellij-plugin/blob/master/src/main/java/org/asciidoc/intellij/download/AsciiDocDownloaderUtil.java). You'll find some links to implementations in the JetBrains source code and...

Hello @brian-brazil - thank you for the fast reply. Apparently I've been mistaken about the push_gateway. But isn't the timestamp intended to be used for something like this? Can you...

... I've read the ["about timestamps"](https://github.com/prometheus/pushgateway#about-timestamps) for the push gateway. The only way to do it without a timestamp would be to align the the pushing to graphite with the...

@matthiasr - I liked the fact that the data of this exporter removed data eventually from memory. This makes it absolutely maintenance-free. Otherwise getting rid of obsolete metrics would require...

I confirm that this has sadly not shipped as part of 19.0.2. I'll prepare a PR for the 19.x branch to backport this.

Milestone and project assignment updated; @abstractj please review. PR #14574 created, builds are still running.

Thanks for contributing to this project with this pull request! Please add `Closes #9482` to the description of this pull request. This will help collaboration on GitHub in two ways:...