From: Eran I. <no...@so...> - 2014-01-11 19:35:38
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "codelite". The branch, master has been updated via 42cd7c92b605078d0165a3eca2ec392135706295 (commit) from 1ed1e29e093c751db9d19684ae04ddadc47dc6bf (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- https://sourceforge.net/p/codelite/codelitegit/ci/42cd7c92b605078d0165a3eca2ec392135706295 commit 42cd7c92b605078d0165a3eca2ec392135706295 Author: eran <eran@osx-108.local> Date: Sat Jan 11 13:35:17 2014 -0800 Yet another UI tweak for OSX diff --git a/git/gitui.cpp b/git/gitui.cpp index 20e472f..749baea 100644 --- a/git/gitui.cpp +++ b/git/gitui.cpp @@ -1074,7 +1074,6 @@ GitConsoleBase::GitConsoleBase(wxWindow* parent, wxWindowID id, const wxPoint& p m_dvFiles->AppendIconTextColumn(_("File View"), m_dvFiles->GetColumnCount(), wxDATAVIEW_CELL_INERT, 400, wxALIGN_LEFT); m_panelProgress = new wxPanel(m_splitterPageTreeView, wxID_ANY, wxDefaultPosition, wxSize(-1,-1), wxTAB_TRAVERSAL); - m_panelProgress->Hide(); boxSizer94->Add(m_panelProgress, 0, wxEXPAND, 5); @@ -1083,12 +1082,12 @@ GitConsoleBase::GitConsoleBase(wxWindow* parent, wxWindowID id, const wxPoint& p m_staticTextGauge = new wxStaticText(m_panelProgress, wxID_ANY, wxT(""), wxDefaultPosition, wxSize(-1,-1), 0); - boxSizer272->Add(m_staticTextGauge, 0, wxALL, 2); + boxSizer272->Add(m_staticTextGauge, 0, wxALL, 5); m_gauge = new wxGauge(m_panelProgress, wxID_ANY, 100, wxDefaultPosition, wxSize(-1,-1), wxGA_SMOOTH|wxGA_HORIZONTAL); m_gauge->SetValue(10); - boxSizer272->Add(m_gauge, 0, wxALL|wxEXPAND, 2); + boxSizer272->Add(m_gauge, 0, wxALL|wxEXPAND, 5); m_splitterPage96 = new wxPanel(m_splitter, wxID_ANY, wxDefaultPosition, wxSize(-1,-1), wxTAB_TRAVERSAL); m_splitter->SplitVertically(m_splitterPageTreeView, m_splitterPage96, 0); diff --git a/git/gitui.wxcp b/git/gitui.wxcp index 28b8321..aede19f 100644 --- a/git/gitui.wxcp +++ b/git/gitui.wxcp @@ -9303,7 +9303,7 @@ }, { "type": "bool", "m_label": "Hidden", - "m_value": true + "m_value": false }, { "type": "bool", "m_label": "Disabled", @@ -9352,7 +9352,7 @@ "m_children": [{ "m_type": 4405, "proportion": 0, - "border": 2, + "border": 5, "gbSpan": "1,1", "gbPosition": "0,0", "m_styles": [], @@ -9427,7 +9427,7 @@ }, { "m_type": 4420, "proportion": 0, - "border": 2, + "border": 5, "gbSpan": "1,1", "gbPosition": "0,0", "m_styles": ["wxGA_SMOOTH", "wxGA_HORIZONTAL"], ----------------------------------------------------------------------- Summary of changes: git/gitui.cpp | 5 ++--- git/gitui.wxcp | 6 +++--- 2 files changed, 5 insertions(+), 6 deletions(-) hooks/post-receive -- codelite |