GUI: Remove the "Settings..." button from the main toolbar
Thomas suggested that this is probably a thing which is not really being used all the time, and as such it probably doesn't belong to the toolbar. I agree with that. Change-Id: I49e15fbbff43c528a842ab88dbf85c5c6a4567e7
parent
ae3e320c
Please register or sign in to comment