User defined padding in WindowCaption

[wachidsusilo]

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(),
            ),
          ),
        ],
      ),
    ),
  ),
),