check for screen borders at start
if the shell gets restarted at a smaller screen, srink/relayout boxes as needed
Description
Description
Details
Details
- Committed
mart Apr 10 2012, 11:07 AM - Parents
- R22:5498d493408b: Do not use PDF titles as resource names.
- Branches
- Unknown
- Tags