|
@@ -3755,7 +3755,8 @@ class ViewController: NSViewController {
|
|
3755
|
let root = NSView()
|
3755
|
let root = NSView()
|
|
3756
|
root.translatesAutoresizingMaskIntoConstraints = false
|
3756
|
root.translatesAutoresizingMaskIntoConstraints = false
|
|
3757
|
root.widthAnchor.constraint(equalToConstant: 88).isActive = true
|
3757
|
root.widthAnchor.constraint(equalToConstant: 88).isActive = true
|
|
3758
|
- root.heightAnchor.constraint(equalToConstant: 70).isActive = true
|
|
|
|
|
|
3758
|
+ // Give caption text a little more vertical room so descenders (e.g. "g") are never clipped.
|
|
|
|
3759
|
+ root.heightAnchor.constraint(equalToConstant: 76).isActive = true
|
|
3759
|
|
3760
|
|
|
3760
|
let iconButton = NSButton(title: "", target: action == nil ? nil : self, action: action)
|
3761
|
let iconButton = NSButton(title: "", target: action == nil ? nil : self, action: action)
|
|
3761
|
iconButton.isBordered = false
|
3762
|
iconButton.isBordered = false
|