Opened 4 years ago

Closed 4 years ago

#1486056 closed Feature Patches (fixed)

Patch: Disable selection while dragging splitter (webkit)

Reported by: Technetux Owned by:
Priority: 5 Milestone: 0.3-stable
Component: User Interface Version: 0.3-rc1
Severity: normal Keywords: splitter select webkit safari drag
Cc: ziba, ksteinhoff

Description

Hello,

When dragging the splitters around in webkit (tested in chrome 4 and safari 4), text will become selected, this patch addresses that.

Thanks,
Ryan.

Attachments (1)

disabled-webkit-text-selection-while-draggi.patch (1.1 KB) - added by Technetux 4 years ago.

Download all attachments as: .zip

Change History (2)

comment:1 Changed 4 years ago by alec

  • Resolution set to fixed
  • Status changed from new to closed

Fixed in [f9aeecd5].

Note: See TracTickets for help on using tickets.