Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
98 lines (84 sloc) 2.7 KB
# Copyright (c) 2011-2015 Rusty Wagner
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 2 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
import sys
from PySide.QtCore import *
from PySide.QtGui import *
monospaceFont = None
lineSpacing = None
allowBold = None
def getDefaultMonospaceFont():
if sys.platform == 'darwin':
font = QFont('Monaco', 12)
elif sys.platform.find('linux') != -1:
font = QFont('Monospace', 10)
elif sys.platform.find('freebsd') != -1:
font = QFont('Bitstream Vera Sans Mono', 10)
else:
font = QFont('Courier', 10)
return font
def getMonospaceFont():
global monospaceFont
if monospaceFont is None:
settings = QSettings("Binary Ninja", "Binary Ninja")
monospaceFont = settings.value("font", getDefaultMonospaceFont())
font = QFont(monospaceFont)
font.setFixedPitch(True)
font.setStyleHint(QFont.Courier)
return font
def setMonospaceFont(font):
global monospaceFont
if font is None:
font = getDefaultMonospaceFont()
monospaceFont = font
settings = QSettings("Binary Ninja", "Binary Ninja")
settings.setValue("font", monospaceFont)
def getDefaultExtraFontSpacing():
if sys.platform == 'darwin':
return 1
if sys.platform.find('freebsd') != -1:
return 2
return 0
def getExtraFontSpacing():
global lineSpacing
if lineSpacing is None:
settings = QSettings("Binary Ninja", "Binary Ninja")
lineSpacing = int(settings.value("spacing", getDefaultExtraFontSpacing()))
return lineSpacing
def setExtraFontSpacing(spacing):
global lineSpacing
if spacing is None:
spacing = getDefaultExtraFontSpacing()
lineSpacing = spacing
settings = QSettings("Binary Ninja", "Binary Ninja")
settings.setValue("spacing", lineSpacing)
def getFontVerticalOffset():
spacing = getExtraFontSpacing()
return int((spacing + 1) / 2)
def allowBoldFonts():
global allowBold
if allowBold is None:
settings = QSettings("Binary Ninja", "Binary Ninja")
allowBold = int(settings.value("allow_bold", 1)) != 0
return allowBold
def setAllowBoldFonts(allow):
global allowBold
if allow is None:
allow = True
allowBold = allow
settings = QSettings("Binary Ninja", "Binary Ninja")
if allowBold:
settings.setValue("allow_bold", 1)
else:
settings.setValue("allow_bold", 0)
You can’t perform that action at this time.