Project

General

Profile

Bug #1716

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

Added by danij about 10 years ago. Updated about 10 years ago.

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

100%

Tags:
UI, Console

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 about 10 years ago

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

IssueID #1716

History

#1 Updated by skyjake about 10 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 about 10 years ago

  • Target version set to 1.14

#3 Updated by skyjake about 10 years ago

  • % Done changed from 0 to 100

#4 Updated by skyjake about 10 years ago

  • Status changed from In Progress to Closed

Also available in: Atom PDF