From 75c07011b7c4d06acd7b45dabdcd60ab9d80f385 Mon Sep 17 00:00:00 2001
From: Daniel Wilhelm <daniel@wili.li>
Date: Fri, 18 Apr 2014 17:29:28 +0200
Subject: 5.23

---
 ui/triple_splitter.h | 89 ----------------------------------------------------
 1 file changed, 89 deletions(-)
 delete mode 100644 ui/triple_splitter.h

(limited to 'ui/triple_splitter.h')

diff --git a/ui/triple_splitter.h b/ui/triple_splitter.h
deleted file mode 100644
index 0577dabf..00000000
--- a/ui/triple_splitter.h
+++ /dev/null
@@ -1,89 +0,0 @@
-// **************************************************************************
-// * This file is part of the FreeFileSync project. It is distributed under *
-// * GNU General Public License: http://www.gnu.org/licenses/gpl.html       *
-// * Copyright (C) Zenju (zenju AT gmx DOT de) - All Rights Reserved        *
-// **************************************************************************
-
-#ifndef TRIPPLE_SPLIT_HEADER_8257804292846842573942534254
-#define TRIPPLE_SPLIT_HEADER_8257804292846842573942534254
-
-#include <cassert>
-#include <memory>
-#include <wx/window.h>
-#include <wx/dcclient.h>
-
-//a not-so-crappy splitter window
-
-/* manage three contained windows:
-	1. left and right window are stretched
-	2. middle window is fixed size
-	3. middle window position can be changed via mouse with two sash lines
-	-----------------
-	|      | |      |
-	|      | |      |
-	|      | |      |
-	-----------------
-*/
-
-namespace zen
-{
-class TripleSplitter : public wxWindow
-{
-public:
-    TripleSplitter(wxWindow* parent,
-                   wxWindowID id      = wxID_ANY,
-                   const wxPoint& pos = wxDefaultPosition,
-                   const wxSize& size = wxDefaultSize,
-                   long style = 0);
-
-    ~TripleSplitter();
-
-    void setupWindows(wxWindow* winL, wxWindow* winC, wxWindow* winR)
-    {
-        assert(winL->GetParent() == this && winC->GetParent() == this && winR->GetParent() == this && !GetSizer());
-        windowL = winL;
-        windowC = winC;
-        windowR = winR;
-        updateWindowSizes();
-    }
-
-    int getSashOffset() const { return centerOffset; }
-    void setSashOffset(int off) { centerOffset = off; updateWindowSizes(); }
-
-private:
-    void onEraseBackGround(wxEraseEvent& event) {}
-    void onSizeEvent(wxSizeEvent& event) { updateWindowSizes(); event.Skip(); }
-
-    void onPaintEvent(wxPaintEvent& event)
-    {
-        wxPaintDC dc(this);
-        drawSash(dc);
-    }
-
-    void updateWindowSizes();
-    int getCenterWidth() const;
-    int getCenterPosX() const; //return normalized posX
-    int getCenterPosXOptimal() const;
-
-    void drawSash(wxDC& dc);
-    bool hitOnSashLine(int posX) const;
-
-    void onMouseLeftDown(wxMouseEvent& event);
-    void onMouseLeftUp(wxMouseEvent& event);
-    void onMouseMovement(wxMouseEvent& event);
-    void onLeaveWindow(wxMouseEvent& event);
-    void onMouseCaptureLost(wxMouseCaptureLostEvent& event);
-    void onMouseLeftDouble(wxMouseEvent& event);
-
-    class SashMove;
-    std::unique_ptr<SashMove> activeMove;
-
-    int centerOffset; //offset to add after "gravity" stretching
-
-    wxWindow* windowL;
-    wxWindow* windowC;
-    wxWindow* windowR;
-};
-}
-
-#endif //TRIPPLE_SPLIT_HEADER_8257804292846842573942534254
-- 
cgit