Removed scroll bar, reduced company prefix length and removed misplaced lin...

Joel Grunbaum

2021-10-19 e0a5d8d61238640a3d4daf36750483274d4fe390

 snippets/latex-mode/overline

@@ -1,5 +1,5 @@
# -*- mode: snippet -*-
# name: Overline
# key: ov
# --
# -*- mode: snippet -*-

# name: Overline

# key: ov

# --

\overline{$1}$0