Add auto editor setting to hide other paths on hover

[mjansen4857]

No description provided.

[codecov]

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (a0184fe) 85.07% compared to head (d72b7d6) 85.11%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #403      +/-   ##
==========================================
+ Coverage   85.07%   85.11%   +0.03%     
==========================================
  Files          70       70              
  Lines        5690     5704      +14     
==========================================
+ Hits         4841     4855      +14     
  Misses        849      849              

Files	Coverage Δ
lib/util/prefs.dart	0.00% <ø> (ø)
lib/widgets/editor/path_painter.dart	99.11% <100.00%> (+0.01%)	⬆️
lib/widgets/editor/split_auto_editor.dart	97.72% <100.00%> (+0.02%)	⬆️
...gets/editor/tree_widgets/editor_settings_tree.dart	100.00% <100.00%> (ø)

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.