git.gag.com Git - debian/gnuradio/blob - grc/src/platforms/gui/Constants.py

   1 """
   2 Copyright 2008, 2009 Free Software Foundation, Inc.
   3 This file is part of GNU Radio
   4
   5 GNU Radio Companion is free software; you can redistribute it and/or
   6 modify it under the terms of the GNU General Public License
   7 as published by the Free Software Foundation; either version 2
   8 of the License, or (at your option) any later version.
   9
  10 GNU Radio Companion is distributed in the hope that it will be useful,
  11 but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 GNU General Public License for more details.
  14
  15 You should have received a copy of the GNU General Public License
  16 along with this program; if not, write to the Free Software
  17 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
  18 """
  19
  20 #label constraint dimensions
  21 LABEL_SEPARATION = 3
  22 BLOCK_LABEL_PADDING = 7
  23 PORT_LABEL_PADDING = 2
  24 #port constraint dimensions
  25 PORT_SEPARATION = 17
  26 PORT_BORDER_SEPARATION = 9
  27 PORT_MIN_WIDTH = 20
  28 #minimal length of connector
  29 CONNECTOR_EXTENSION_MINIMAL = 11
  30 #increment length for connector
  31 CONNECTOR_EXTENSION_INCREMENT = 11
  32 #connection arrow dimensions
  33 CONNECTOR_ARROW_BASE = 13
  34 CONNECTOR_ARROW_HEIGHT = 17
  35 #possible rotations in degrees
  36 POSSIBLE_ROTATIONS = (0, 90, 180, 270)
  37 #How close can the mouse get to the window border before mouse events are ignored.
  38 BORDER_PROXIMITY_SENSITIVITY = 50
  39 #How close the mouse can get to the edge of the visible window before scrolling is invoked.
  40 SCROLL_PROXIMITY_SENSITIVITY = 30
  41 #When the window has to be scrolled, move it this distance in the required direction.
  42 SCROLL_DISTANCE = 15
  43 #How close the mouse click can be to a line and register a connection select.
  44 LINE_SELECT_SENSITIVITY = 5