diff options
| author | Rusty Wagner <rusty@vector35.com> | 2019-03-18 11:32:12 -0700 |
|---|---|---|
| committer | Rusty Wagner <rusty@vector35.com> | 2019-03-20 13:00:17 -0400 |
| commit | 22be7356f339bcb11383ac0ec2a6e11a605f9533 (patch) | |
| tree | 10e7b7cdbed38d16320868884d4667bfc8b472d5 /python/examples/triage/headers.py | |
| parent | 36650362e2723036605ae336a40b4064ffd1b0fb (diff) | |
Fix some bugs in triage plugin
Diffstat (limited to 'python/examples/triage/headers.py')
| -rw-r--r-- | python/examples/triage/headers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/examples/triage/headers.py b/python/examples/triage/headers.py index 47869134..33b9b3c2 100644 --- a/python/examples/triage/headers.py +++ b/python/examples/triage/headers.py @@ -1,7 +1,7 @@ import time from binaryninja.binaryview import StructuredDataView import binaryninjaui -from binaryninjaui import ThemeColor, ViewFrame +from binaryninjaui import ThemeColor, ViewFrame, UIContext from PySide2.QtWidgets import QWidget, QLabel, QGridLayout from PySide2.QtGui import QPalette @@ -217,6 +217,6 @@ class HeaderWidget(QWidget): row = 0 col += 1 for col in range(1, header.columns): - layout.setColumnMinimumWidth(col * 3 - 1, 20) + layout.setColumnMinimumWidth(col * 3 - 1, UIContext.getScaledWindowSize(20, 20).width()) layout.setColumnStretch(header.columns * 3 - 1, 1) self.setLayout(layout) |
