Project

General

Profile

« Previous | Next » 

Revision 1d5a438c

Added by Eric Helms about 10 years ago

Fixes #4688: Prevents ugly indentation of row headers on Firefox, adds
back the missing environment selector icon, and sets the proper header
row height.

  • added
  • modified
  • copied
  • renamed
  • deleted