From 4d10bda06731faa294a50a798cdec9f84003a8fa Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Fri, 28 Oct 2022 01:22:40 +0200
Subject: [PATCH] Fix mouse event bug
---
Program.cs | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Program.cs b/Program.cs
index ede69ac..bd90c47 100644
--- a/Program.cs
+++ b/Program.cs
@@ -506,18 +506,21 @@ class StatusBarI3: RootStatusBar
Console.ReadLine(); // read "["
while(true)
{
+
#pragma warning disable 8602
string? line = Console.ReadLine();
+
if(line == null) throw new Exception("I3bar close input");
if(line[0] == ',') line = line[1..];
+
JsonObject json = JsonObject.Parse(line).AsObject();
MouseButton button;
int jsonButton = json["button"].AsValue().GetValue<int>();
if(jsonButton == 1) button = MouseButton.Left; else
if(jsonButton == 2) button = MouseButton.Middle; else
if(jsonButton == 3) button = MouseButton.Right; else
- break;
+ continue;
Modifiers mod = 0;
foreach(var i in json["modifiers"].AsArray())
{
--
GitLab