Changes between Initial Version and Version 6 of Ticket #10923
- Timestamp:
- Oct 26, 2012, 11:30:31 PM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10923
- Property Keywords webkit added
- Property Status new → closed
- Property Resolution → fixed
- Property Milestone → 0.12.5
-
Ticket #10923 – Release Notes
initial v6 1 Fix initial activation of default style in Pygments' pref panel on !WebKit browsers.