Ticket #3571: 3571-edit_restore_size-uncapture-the-mouse.patch

File 3571-edit_restore_size-uncapture-the-mouse.patch, 739 bytes (added by mooffie, 8 years ago)

This patch should be squashed with either "WEdit: get rid of mouse event pump" or "WEdit: use the new mouse API".

  • src/editor/editwidget.c 

    From 95da69182dcfa19b1e21abc9b1803bab941bff66 Mon Sep 17 00:00:00 2001
From: Mooffie <mooffie@gmail.com>
Date: Fri, 1 Apr 2016 14:58:29 +0300
Subject: [PATCH] (edit_restore_size): uncapture the mouse.

---
 src/editor/editwidget.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/editor/editwidget.c b/src/editor/editwidget.c
index 3af1f11..30aef2b 100644
    a b static void 
    212212edit_restore_size (WEdit * edit) 
    213213{ 
    214214    edit->drag_state = MCEDIT_DRAG_NONE; 
     215    WIDGET (edit)->mouse.forced_capture = FALSE; 
    215216    widget_set_size (WIDGET (edit), edit->y_prev, edit->x_prev, edit->lines_prev, edit->cols_prev); 
    216217    dlg_redraw (WIDGET (edit)->owner); 
    217218}