changeset 33480:29282fcb0f2a

maint: clean up extra spaces in cset a583e8d66a19. * gui-preferences-ed.h, file-editor.cc: Remove accidental spaces.
author Rik <rik@octave.org>
date Sun, 28 Apr 2024 21:27:05 -0700
parents a583e8d66a19
children 4d037eddd28f
files libgui/src/gui-preferences-ed.h libgui/src/m-editor/file-editor.cc
diffstat 2 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/gui-preferences-ed.h	Sun Apr 28 21:28:00 2024 +0200
+++ b/libgui/src/gui-preferences-ed.h	Sun Apr 28 21:27:05 2024 -0700
@@ -202,7 +202,7 @@
 
 extern gui_pref ed_always_reload_changed_files;
 
-extern gui_pref ed_run_selection_tmp_file ;
+extern gui_pref ed_run_selection_tmp_file;
 
 extern gui_pref ed_mru_file_list;
 
--- a/libgui/src/m-editor/file-editor.cc	Sun Apr 28 21:28:00 2024 +0200
+++ b/libgui/src/m-editor/file-editor.cc	Sun Apr 28 21:27:05 2024 -0700
@@ -1707,14 +1707,14 @@
         }
       else
         {
-          if (! show_dbg_file && (breakpoint_marker  || debug_pointer))
+          if (! show_dbg_file && (breakpoint_marker || debug_pointer))
             return;   // Do not open a file for showing dbg markers
 
           if (breakpoint_marker && ! insert)
             return;   // Never open a file when removing breakpoints
 
-          if ((breakpoint_marker  || debug_pointer)
-               && (openFileName == settings.string_value (ed_run_selection_tmp_file)))
+          if ((breakpoint_marker || debug_pointer)
+              && (openFileName == settings.string_value (ed_run_selection_tmp_file)))
             return;   // Never open tmp file when debugging while running selection
 
           file_editor_tab *fileEditorTab = nullptr;