Hostile takeover of my logger !! TL:DR imported library is using my logger’s logging.properties file. In order to keep track of everything that happens in my project, I implemented a custom logger class using java.utils.logging, with a nice simple configuration file “logging.properties”: Now…
Tag: graphstream
GraphStream setAttribute( ) vs addAttribute( )
I don’t understand the difference between setAttribute( ) and addAttribute( ) in GraphStream1.3. In GraphStream’s Element API 1.3 it’s explained that setAttribute is Like addAttribute() but for consistency. what does it means? Answer It is most likely that they mean api consistency with this…
override graphstream’s DefaultMouseManager
I’m using GraphStream to show a map of an area and I’ve tried to inherit from the default MouseManager DefaultMouseManager and to override the mouseClicked method so that when clicking on a node the following will happened: node’s color will change. node’s label will show. node’s…
I am not able to load a graph via JFileChooser and actually display it
So, I have a class that inherits from JFrame with two JSplitPanes and a menu bar. One JSplitPane has a JSplitPane on top and a textarea on the bottom and the other one two JPanels left and right. I want to parse a pnml-file (or more, but I’m just trying to get one working right now) that I chose via