search

oracc / nammu

Oracc GUI
GNU General Public License v3.0
12 stars 10 forks source link

Font size of line numbers doesn't match the linked edit area font size #377

Closed giordano closed 5 years ago

giordano commented 5 years ago

PR #376 adds the possibility of setting font size of the Arabic pane separately from that of the main area, however after changing these font sizes, the sizes of the line numbers in the two panes changes in a weird way.

giordano commented 5 years ago

Actually, the font sizes of the line numbers of each pane is set correctly when you start nammu, the problem is that it doesn't update automatically when the font size of the related text area is changed. I suspect that the problem is that in AtfAreaView.refresh() we are not running the commands

        self.controller.edit_area.setFont(font)
        [...]
        self.controller.arabic_area.setFont(arabic_font)

like what is done here: https://github.com/oracc/nammu/blob/1ae222ca93e5f35ff4f159dd75aa7e04ebc31915/python/nammu/controller/AtfAreaController.py#L74-L75