Re: [Spice-devel] [PATCH spice-gtk 3/3] Rename SpiceHead::id to monitor_id in the protocol

2018-07-18 Thread Frediano Ziglio
> > Signed-off-by: Lukáš Hrázký > --- > src/channel-display.c | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/src/channel-display.c b/src/channel-display.c > index 993d9b7..54f40ba 100644 > --- a/src/channel-display.c > +++ b/src/channel-display.c > @@ -1896,9 +1896

[Spice-devel] [PATCH spice-gtk 3/3] Rename SpiceHead::id to monitor_id in the protocol

2018-07-17 Thread Lukáš Hrázký
Signed-off-by: Lukáš Hrázký --- src/channel-display.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/channel-display.c b/src/channel-display.c index 993d9b7..54f40ba 100644 --- a/src/channel-display.c +++ b/src/channel-display.c @@ -1896,9 +1896,9 @@ static void displ