Changes between Version 80 and Version 81 of Help/Preferences/Advanced


Ignore:
Timestamp:
2018-11-23T15:00:42+01:00 (7 years ago)
Author:
GerdP
Comment:

document panel.preferredHeight and panel.lastHeight, see also #7561

Legend:

Unmodified
Added
Removed
Modified

  • Help/Preferences/Advanced

    v80 v81  
    6969|| true or false || true ||\
    7070|| if a window is in the side pane or floating ||\
     71||
     72|| ''panel''.lastHeight ||\
     73|| integer || mixed ||\
     74|| is used to store the last used height of a panel ||\
     75||
     76|| ''panel''.preferredHeight ||\
     77|| integer || mixed ||\
     78|| can be used to overwrite the hard coded preferred height of a panel ||\
    7179||
    7280|| ''widget''.always-visible; ||\