Abdelrazak Younes wrote:
Stefan Schimanski wrote:
The source view is a drawer as well??? Does that really make sense? I
mean normally tex code is meant to be 80 chars wide and should be
shown like that.
What is the link between line width and the dialog being a drawer?
Can't a drawer be set at the bottom?
OK, having read Bennett's comment I understand why you did this Jurgen
but I don't think Mac users will agree in general with this change. The
logical position of the view source is at the bottom or at the top.
So, to fix this bug I think we should just let it be docked at the
bottom and remove the drawer property.
I understand that Bennett doesn't like it this way but this should be
adressed by proper session handling of the docking state.
Abdel.