Client|Console: Dragging log's top edge with the mouse
Todo for later: Could use some further usability tuning. E.g., if the user resizes the log with the mouse, does it mean expansion should be disabled? (maybe user wants the log to have a specific height)
Added by skyjake over 11 years ago
Added by
Client|Console: Dragging log's top edge with the mouse
Todo for later: Could use some further usability tuning. E.g., if the
user resizes the log with the mouse, does it mean expansion should be
disabled? (maybe user wants the log to have a specific height)