akkartik/pensieve.love - Change R2ED4UFGG5WOPD2AE26TWK45V4W3AEADAAWVAROF6NAGZJVZXG6QC

bugfix: update menu height with font size

Created by akkartik on July 18, 2024

R2ED4UFGG5WOPD2AE26TWK45V4W3AEADAAWVAROF6NAGZJVZXG6QC

Dependencies

[2] QLG4WQX6Q3G4VHT2S5CGBSIQCMYIVLCVPMETRCS4A7UEV6V5PXFAC
[3] JMUE7GSN6QDQZ6NDRB55MRJMKJN6LBD6MVQPKROYPDOIXM7I3XNQC
[4] KKMFQDR43ZWVCDRHQLWWX3FCWCFA3ZSXYOBRJNPHUQZR2XPKWULAC

In channels

main

Change contents

Insertion in run.lua at line 955 [4.178044]

[3.30732]

[2.1478]

  Menu_status_bar_height = 5 + Line_height + 5
  Column_header_height = 5 + Line_height + 5
  Header_height = Menu_status_bar_height + Column_header_height