in this case i chose #2 since there would not be much else in the advanced settings dialog if i chose #3. you can still set the button width by editting the kickerrc file. but having it in the main UI was crowding things, was not very apparent as to what it did and is a rather non-standard type of setting (where else do you get to set the *width* of a specific button?)