Project

General

Profile

Bug #1716

[Windows] Cannot resize console history widget if the edge meets the edge of the window

Added by danij over 8 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Defect
Target version:
Start date:
2014-01-25
% Done:

100%

Tags:

Description

If the console history widget is resized so that it fills the window, one cannot "grab" the edge to adjust it further.

Associated revisions

Revision 1616ef52 (diff)
Added by skyjake over 8 years ago

UI|Client|Console: Wider grab area for resizing the console edge

IssueID #1716

History

#1 Updated by skyjake over 8 years ago

  • Subject changed from Cannot resize console history widget if the edge meets the edge of the window to [Windows] Cannot resize console history widget if the edge meets the edge of the window
  • Category set to Defect
  • Status changed from New to In Progress
  • Assignee set to skyjake

In OS X, there is a one-pixel wide area where one can still grab the console edge even if it is full width. I'm guessing the window edge dragging area is thicker on Windows, so it blocks the console grabbing.

I'll make the console grab edge wider.

#2 Updated by skyjake over 8 years ago

  • Target version set to 1.14

#3 Updated by skyjake over 8 years ago

  • % Done changed from 0 to 100

#4 Updated by skyjake over 8 years ago

  • Status changed from In Progress to Closed

Also available in: Atom PDF