From 686649e67daf60efa014928468acf6d4fd0743e6 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Wed, 5 Jan 2022 12:29:05 +0100
Subject: [PATCH] Dollar sign now adds dollar signs around selected text in
 latex buffers

---
 src/source.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/source.cpp b/src/source.cpp
index e85a44b..638c074 100644
--- a/src/source.cpp
+++ b/src/source.cpp
@@ -3609,6 +3609,11 @@ bool Source::View::on_key_press_event_smart_inserts(GdkEventKey *event) {
       left = "/*";
       right = "*/";
     }
+    // Insert $$ around selection
+    else if(event->keyval == GDK_KEY_dollar && language_id == "latex") {
+      left = '$';
+      right = '$';
+    }
     else if(language_id == "markdown" ||
             !is_code_iter(get_buffer()->get_insert()->get_iter()) || !is_code_iter(get_buffer()->get_selection_bound()->get_iter())) {
       // Insert `` around selection