From b28bb3ec3ea00bfadbf115dff96411cd64ffcbd0 Mon Sep 17 00:00:00 2001
From: Madhura Jayaratne <madhura.cj@gmail.com>
Date: Wed, 14 Jan 2015 18:11:50 +0530
Subject: [PATCH] Reload navigation after adding indexes

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>
---
 tbl_structure.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tbl_structure.php b/tbl_structure.php
index e1108150d1..1cea292eec 100644
--- a/tbl_structure.php
+++ b/tbl_structure.php
@@ -94,6 +94,7 @@ if (isset($_REQUEST['do_save_data'])) {
  */
 if (isset($_REQUEST['add_key'])) {
     include 'sql.php';
+    $GLOBALS['reload'] = true;
 }
 
 /**