# HG changeset patch
# User PrasannaKumar Muralidharan <address@hidden>
# Date 1384270563 -19800
#      Tue Nov 12 21:06:03 2013 +0530
# Node ID 3c7740f751d24aa2bfeedd66be3bc205e58afa9c
# Parent  de8591a19bc67bf1ce9a67c815e4ad83a004f8d7
Remove unnecessary loop in file_editor::handle_tab_remove_request
file-editor.cc (handle_tab_remove_request): Avoid unnecessary loop

diff -r de8591a19bc6 -r 3c7740f751d2 libgui/src/m-editor/file-editor.cc
--- a/libgui/src/m-editor/file-editor.cc	Tue Nov 12 08:17:51 2013 +0100
+++ b/libgui/src/m-editor/file-editor.cc	Tue Nov 12 21:06:03 2013 +0530
@@ -788,6 +788,7 @@
             {
               _tab_widget->removeTab (i);
               delete fileEditorTab;
+              break;
             }
         }
     }