← Back to branch summary

~ubuntu-branches/ubuntu/maverick/codelite/maverick

« back to all changes in this revision

Viewing changes to Plugin/cl_aui_notebook_art.cpp

  • Committer: Bazaar Package Importer
  • Author(s): Alessio Treglia
  • Date: 2010-07-29 19:42:47 UTC
  • mfrom: (1.1.9 upstream) (18.1.1 sid)
  • Revision ID: james.westby@ubuntu.com-20100729194247-cuibfk03wog33nxq
Tags: 2.6.0.4189~dfsg-1
* New upstream release.
* Bump Standards.
* Refresh patches.
* Add license information about files under ./Debugger/

Show diffs side-by-side

added added

removed removed

Lines of Context:
Plugin/cl_aui_notebook_art.cpp
92
92
        m_tab_ctrl_height = 0;
93
93
 
94
94
        wxColour base_colour = DrawingUtils::GetPanelBgColour();
95
 
 
96
 
        m_base_colour = base_colour;
97
 
        wxColor border_colour = DrawingUtils::DarkColour(m_base_colour, 4.0);
 
95
        m_base_colour = base_colour;
 
96
 
 
97
#ifdef __WXGTK__
 
98
        wxColor border_colour = wxSystemSettings::GetColour(wxSYS_COLOUR_3DSHADOW);
 
99
#else
 
100
        wxColor border_colour = DrawingUtils::DarkColour(m_base_colour, 4.0);
 
101
#endif
98
102
 
99
103
        m_border_pen = wxPen(border_colour);
100
104
        m_base_colour_pen = wxPen(m_base_colour);
337
341
                wxColor bottom_color = m_base_colour;
338
342
                dc.GradientFillLinear(r, bottom_color, top_color, wxNORTH);
339
343
        } else {
340
 
                // draw inactive tab
 
344
                // draw inactive tab
 
345
#ifdef __WXGTK__
 
346
                wxColour shadeColour = wxSystemSettings::GetColour(wxSYS_COLOUR_3DFACE);
 
347
#else
341
348
                wxColour shadeColour = DrawingUtils::DarkColour(m_base_colour, 2.0);
342
 
 
 
349
#endif
343
350
                wxRect r(tab_x, tab_y, tab_width, tab_height-2);
344
351
 
345
352
                // start the gradent up a bit and leave the inside border inset
513
520
#ifdef __WXMAC__
514
521
        tab_width += 16;
515
522
#else
516
 
        tab_width += 18;
 
523
        tab_width += 16;
517
524
#endif
518
 
        tab_height += 14;
 
525
        tab_height += 12;
519
526
 
520
527
        if (m_flags & wxAUI_NB_TAB_FIXED_WIDTH) {
521
528
                tab_width = m_fixed_tab_width;