Change Details

Now in header-less panel at the top, and slightly bigger than default size.

Now in header-less panel at the top, and slightly bigger than default size. {F5698133} Even though this was intentionally removed (rB1cf17b257dd50), IMHO it's still reasonable to have it there.

Now in header-less panel at the top, and slightly bigger than default size. {F5698133} Even though this was intentionally removed (rB1cf17b257dd50), IMHO it's still reasonable to have it there.