Closed mdpiper closed 8 years ago
These are a collection of small fixes to UI elements that had been annoying me.
I also considered storing browser information in the data manager, but reconsidered, since this information can be retrieved from GWT at any time.
These are a collection of small fixes to UI elements that had been annoying me.
I also considered storing browser information in the data manager, but reconsidered, since this information can be retrieved from GWT at any time.