No. Shift+F12 changes the info panel from minimum to the previous dragged position. Double-clicking the splitter between the info panel and the list changes the info panel from minimum to maximum. There was some discussion about it some time ago as to what was the preferred way of changing the info panel size.CyGho wrote:Isn't that the same as SHIFT-F12 does now?
This should also answer your question.jacky wrote:I'm sorry but... I'm not sure what you guys are talking about? What would Alt+F12 do? What gets max/min with a dbl-click?