Ignore:
Timestamp:
Apr 26, 2013 1:22:37 PM (12 years ago)
Author:
Jae Cho <jhjcho@…>
Branches:
master, ESS_GUI, ESS_GUI_Docs, ESS_GUI_batch_fitting, ESS_GUI_bumps_abstraction, ESS_GUI_iss1116, ESS_GUI_iss879, ESS_GUI_iss959, ESS_GUI_opencl, ESS_GUI_ordering, ESS_GUI_sync_sascalc, costrafo411, magnetic_scatt, release-4.1.1, release-4.1.2, release-4.2.2, release_4.0.1, ticket-1009, ticket-1094-headless, ticket-1242-2d-resolution, ticket-1243, ticket-1249, ticket885, unittest-saveload
Children:
f234d3c
Parents:
62af27a9
Message:

faster graph titlebar dragging if it is already focused.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sansguiframe/src/sans/guiframe/gui_manager.py

    r7c38c90 r0d5768d  
    34693469        """ 
    34703470        """ 
    3471         self.panel.SetFocus() 
    3472         self.parent.panel_on_focus = self.panel 
    3473         #self.parent.set_panel_on_focus_helper() 
     3471        if self.parent.panel_on_focus != self.panel: 
     3472            self.panel.SetFocus() 
     3473            self.parent.panel_on_focus = self.panel 
    34743474         
    34753475    def OnClose(self, event): 
Note: See TracChangeset for help on using the changeset viewer.