window_manager
window_manager copied to clipboard
User defined padding in WindowCaption
is there any workaround to decrease the padding of WindowCaption
?
EDIT Well, may be this become a feature request. Currently, the padding is hardcoded (why?).
// window_caption.dart
Expanded(
child: DragToMoveArea(
child: Container(
height: double.infinity,
child: Row(
children: [
Container(
padding: EdgeInsets.only(left: 16),
child: DefaultTextStyle(
style: TextStyle(
color: widget.brightness == Brightness.light
? Colors.black.withOpacity(0.8956)
: Colors.white,
fontSize: 14,
),
child: widget.title ?? Container(),
),
),
],
),
),
),
),