OpenSpeedShop/gui

Create Open|SpeedShop settings page

Closed this issue · 0 comments

DaneGardner commented

Create a page for the user settings, and register it with the SettingsManager.