paulvi/Refresh_this_project_plugin_for_eclipse
Use opened file in editor or selected in package explorer to find project root , and refresh the whole project. And use github to host my refresh-this-project plugin for eclipse marketplace
Public GitHub Catalog
Discovered Sep 29, 2026
paulvi / js-java-setup
Efficient JavaScript development in a Java world
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14334774GitHub System ID
paulviOrganization / User
PublicVisibility
ActiveCatalog Status
More from paulvi
paulvi/goclipse
Eclipse IDE Plug-in for the Go programming language
paulvi/flight627
prototype work towards cloud-based developer tooling
paulvi/gradle-jetty-eclipse-plugin
Gradle Jetty Plugin for Eclipse Jetty