From c8b1e573b5e988968fb6c53c4e1708ed2112e31a Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Tue, 18 Nov 2014 13:31:20 +0000 Subject: [PATCH] Remote renamed Source and Settings moved Settings moved to Edit section, makes more sense to be situated here Localhost option added under Source, will indicate viewing local files in future --- index.php | 7 ++++--- lang/english.php | 2 +- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/index.php b/index.php index f122d97..b8b6158 100644 --- a/index.php +++ b/index.php @@ -177,7 +177,7 @@ $t = $text['index']; @@ -218,10 +218,12 @@ $t = $text['index'];
  • +
  • -
    +
      +
    • Localhost
    • GitHub
    • SVN
    • Bitbucket
    • @@ -235,7 +237,6 @@ $t = $text['index']; diff --git a/lang/english.php b/lang/english.php index f5f7cfe..93034f6 100644 --- a/lang/english.php +++ b/lang/english.php @@ -64,7 +64,7 @@ $text = array( "Properties" => "Properties", "File" => "File", "Edit" => "Edit", - "Remote" => "Remote", + "Source" => "Source", "Help" => "Help", "Save" => "Save", "Save As" => "Save As",