Clean up html in Editor's config help text.

epasveer · Mar 2, 2024 · 599b452 · 599b452
1 parent 8113438
commit 599b452
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SeerEditorConfigPage.ui b/src/SeerEditorConfigPage.ui
@@ -269,7 +269,7 @@ li.checked::marker { content: &quot;\2612&quot;; }
 &lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&amp;quot;.h|.cpp|.c&amp;quot;&lt;/p&gt;
 &lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;The tab size, in spaces, can be set to properly display source files that contain tab characters.&lt;/p&gt;
 &lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;You can specify a command to launch an external editor. While in a source window, you can use the RMB menu to launch the external editor on the current file. However, these changes are not recognized by Seer. When specifying the command, you have these two variables. One for the name of the source file, and one for the line number to tell the editor to go to. Here are a few examples:&lt;/p&gt;
-&lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff; background-color:#000000;&quot;&gt;geany &amp;quot;%{file}&amp;quot;:%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff;&quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff; background-color:#000000;&quot;&gt;kate --line %{line} &amp;quot;%{file}&amp;quot;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff;&quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff; background-color:#000000;&quot;&gt;gedit &amp;quot;%{file}&amp;quot; +%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff;&quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; color:#ffffff; background-color:#000000;&quot;&gt;konsole -e vim &amp;quot;%{file}&amp;quot; +%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace';&quot;&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;You may need to close and reopen the source files for changes to take effect.&lt;/p&gt;
+&lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;geany &amp;quot;%{file}&amp;quot;:%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;kate --line %{line} &amp;quot;%{file}&amp;quot;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;gedit &amp;quot;%{file}&amp;quot; +%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style=&quot; font-family:'monospace'; &quot;&gt;konsole -e vim &amp;quot;%{file}&amp;quot; +%{line}&lt;/span&gt;&lt;span style=&quot; font-family:'monospace';&quot;&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;You may need to close and reopen the source files for changes to take effect.&lt;/p&gt;
 &lt;p style=&quot; margin-top:12px; margin-bottom:12px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;br /&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
      </property>
     </widget>