From 2bec04f1288d0271dbacdce901e9bb710fdec310 Mon Sep 17 00:00:00 2001
From: Tci Gravifer Fang <44160838+Gravifer@users.noreply.github.com>
Date: Wed, 10 Feb 2021 03:14:47 +0800
Subject: [PATCH] Add auto-highlight for `Int[ ]`

I propose to highlight `Int[ ]` with the official [`SyntaxInformation[ ]`](https://reference.wolfram.com/language/ref/SyntaxInformation.html); if any side-effects are known, this PR shall not be accepted.
---
 Rubi/Rubi.m | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Rubi/Rubi.m b/Rubi/Rubi.m
index 022592c..197477e 100644
--- a/Rubi/Rubi.m
+++ b/Rubi/Rubi.m
@@ -94,6 +94,8 @@
 
 
 Unprotect[Int];  Clear[Int];  Clear[Unintegrable];  Clear[CannotIntegrate];
+(*auto-highlighting for Int[]*)
+SyntaxInformation[Int] = {"LocalVariables" -> {"Integrate", {2, 2}}}; 
 
 (* The order of loading the rule-files below is crucial to ensure a functional Rubi integrator! *)
 LoadRules[$utilityPackage];