Lagrange [release]

DocumentWidget: Fine-tuning reload indicator position

Thu Jan 5 07:54:41 2023 +0200

On macOS, the indicator was partially hidden by the window border.

Move it down a little to make it more visible.

 src/ui/indicatorwidget.c | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)