UI/SymbolsWidget.py

changeset 3776
ccb6eacb50e5
parent 3656
441956d8fce5
child 4021
195a471c327b
equal deleted inserted replaced
3774:285e5aa860a0 3776:ccb6eacb50e5
493 493
494 if qVersion() >= "5.0.0": 494 if qVersion() >= "5.0.0":
495 self.symbolsTable.horizontalHeader().setSectionResizeMode( 495 self.symbolsTable.horizontalHeader().setSectionResizeMode(
496 QHeaderView.Fixed) 496 QHeaderView.Fixed)
497 else: 497 else:
498 self.symbolsTable.horizontalHeader().setSectionResizeMode( 498 self.symbolsTable.horizontalHeader().setResizeMode(
499 QHeaderView.Fixed) 499 QHeaderView.Fixed)
500 fm = self.fontMetrics() 500 fm = self.fontMetrics()
501 em = fm.width("M") 501 em = fm.width("M")
502 self.symbolsTable.horizontalHeader().resizeSection(0, em * 5) 502 self.symbolsTable.horizontalHeader().resizeSection(0, em * 5)
503 self.symbolsTable.horizontalHeader().resizeSection(1, em * 5) 503 self.symbolsTable.horizontalHeader().resizeSection(1, em * 5)

eric ide

mercurial