Merge pull request #950 from WolframResearch/feature/notebook-focus-i…

…ndicator Notebook Focus Indicator
WolframResearch · Nov 23, 2024 · 24e15b4 · 24e15b4
2 parents b7ef24f + a4ce015
commit 24e15b4
Show file tree

Hide file tree

Showing 22 changed files with 1,593 additions and 32 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -8,6 +8,7 @@
         "Birdnardo",
         "Chatbook",
         "Checkmark",
+        "Checkmarked",
         "CICD",
         "Componentwise",
         "Connor",

diff --git a/.../Resources/FrontEndResources/WorkspaceChat/FocusIndicator/WorkspaceFocusIndicatorCaret.wl b/.../Resources/FrontEndResources/WorkspaceChat/FocusIndicator/WorkspaceFocusIndicatorCaret.wl
@@ -0,0 +1,46 @@
+(* ::Package:: *)
+
+RawBoxes @ ToBoxes @ Graphics[
+ {
+  Thickness[ 0.2 ],
+  Style[
+   {
+    FilledCurve[
+     { { { 1, 4, 3 }, { 0, 1, 0 }, { 0, 1, 0 }, { 1, 3, 3 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 } } },
+     {
+      {
+       { 4.8535, 2.8535 },
+       { 4.6585, 3.0485 },
+       { 4.3415, 3.0485 },
+       { 4.1465, 2.8535 },
+       { 2.4995, 1.2075 },
+       { 0.8535, 2.8535 },
+       { 0.6585, 3.0485 },
+       { 0.3415, 3.0485 },
+       { 0.1465, 2.8535 },
+       { -0.0485, 2.6585 },
+       { -0.0485, 2.3415 },
+       { 0.1465, 2.1465 },
+       { 2.1465, 0.1465 },
+       { 2.2445, 0.0485 },
+       { 2.3725, -0.00049996 },
+       { 2.4995, -0.00049996 },
+       { 2.6275, -0.00049996 },
+       { 2.7555, 0.0485 },
+       { 2.8535, 0.1465 },
+       { 4.8535, 2.1465 },
+       { 5.0485, 2.3415 },
+       { 5.0485, 2.6585 },
+       { 4.8535, 2.8535 }
+      }
+     }
+    ]
+   },
+   FaceForm @ RGBColor[ 0.53725, 0.53725, 0.53725, 1.0 ]
+  ]
+ },
+ ImageSize -> { 6.0, 4.0 },
+ PlotRange -> { { -0.5, 5.5 }, { -0.5, 3.5 } },
+ AspectRatio -> Automatic,
+ BaselinePosition -> Center -> Center
+]
diff --git a/.../Resources/FrontEndResources/WorkspaceChat/FocusIndicator/WorkspaceFocusIndicatorCheck.wl b/.../Resources/FrontEndResources/WorkspaceChat/FocusIndicator/WorkspaceFocusIndicatorCheck.wl
@@ -0,0 +1,127 @@
+(* ::Package:: *)
+
+RawBoxes @ ToBoxes @ Mouseover[
+ Graphics[
+  {
+   Thickness[ 0.1 ],
+   Style[
+    {
+     FilledCurve[
+      { { { 0, 2, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 } } },
+      {
+       {
+        { 7.5959, 0.0 },
+        { 2.4039, 0.0 },
+        { 1.0759, 0.0 },
+        { -0.00010014, 1.076 },
+        { -0.00010014, 2.404 },
+        { -0.00010014, 7.596 },
+        { -0.00010014, 8.924 },
+        { 1.0759, 10.0 },
+        { 2.4039, 10.0 },
+        { 7.5959, 10.0 },
+        { 8.9239, 10.0 },
+        { 9.9999, 8.924 },
+        { 9.9999, 7.596 },
+        { 9.9999, 2.404 },
+        { 9.9999, 1.076 },
+        { 8.9239, 0.0 },
+        { 7.5959, 0.0 }
+       }
+      }
+     ]
+    },
+    FaceForm @ RGBColor[ 0.53725, 0.53725, 0.53725, 1.0 ]
+   ],
+   Style[
+    {
+     JoinedCurve[
+      { { { 1, 4, 3 }, { 1, 3, 3 } } },
+      {
+       {
+        { 2.2297, 5.2572 },
+        { 3.1857, 3.9922 },
+        { 4.1847, 2.3282 },
+        { 4.1847, 2.3282 },
+        { 4.1847, 2.3282 },
+        { 6.0057, 5.3422 },
+        { 7.7707, 7.6712 }
+       }
+      },
+      CurveClosed -> { 0 }
+     ]
+    },
+    CapForm[ "Round" ],
+    JoinForm[ "Round" ],
+    RGBColor[ 1.0, 1.0, 1.0, 1.0 ]
+   ]
+  },
+  (* ImageMargins -> { { 0, 1 }, { 1, 0 } }, *)
+  ImageSize -> { 11.0, 11.0 },
+  PlotRange -> { { -0.5, 10.5 }, { -0.5, 10.5 } },
+  AspectRatio -> Automatic,
+ BaselinePosition -> Center -> Center
+ ],
+ Graphics[
+  {
+   Thickness[ 0.1 ],
+   Style[
+    {
+     FilledCurve[
+      { { { 0, 2, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 }, { 0, 1, 0 }, { 1, 3, 3 } } },
+      {
+       {
+        { 7.5959, 0.0 },
+        { 2.4039, 0.0 },
+        { 1.0759, 0.0 },
+        { -0.00010014, 1.076 },
+        { -0.00010014, 2.404 },
+        { -0.00010014, 7.596 },
+        { -0.00010014, 8.924 },
+        { 1.0759, 10.0 },
+        { 2.4039, 10.0 },
+        { 7.5959, 10.0 },
+        { 8.9239, 10.0 },
+        { 9.9999, 8.924 },
+        { 9.9999, 7.596 },
+        { 9.9999, 2.404 },
+        { 9.9999, 1.076 },
+        { 8.9239, 0.0 },
+        { 7.5959, 0.0 }
+       }
+      }
+     ]
+    },
+    FaceForm @ RGBColor[ 0.74902, 0.74902, 0.74902, 1.0 ]
+   ],
+   Style[
+    {
+     JoinedCurve[
+      { { { 1, 4, 3 }, { 1, 3, 3 } } },
+      {
+       {
+        { 2.2297, 5.2572 },
+        { 3.1857, 3.9922 },
+        { 4.1847, 2.3282 },
+        { 4.1847, 2.3282 },
+        { 4.1847, 2.3282 },
+        { 6.0057, 5.3422 },
+        { 7.7707, 7.6712 }
+       }
+      },
+      CurveClosed -> { 0 }
+     ]
+    },
+    CapForm[ "Round" ],
+    JoinForm[ "Round" ],
+    RGBColor[ 1.0, 1.0, 1.0, 1.0 ]
+   ]
+  },
+  (* ImageMargins -> { { 0, 1 }, { 1, 0 } }, *)
+  ImageSize -> { 11.0, 11.0 },
+  PlotRange -> { { -0.5, 10.5 }, { -0.5, 10.5 } },
+  AspectRatio -> Automatic,
+ BaselinePosition -> Center -> Center
+ ],
+ BaselinePosition -> Baseline
+]