GH1230 Improve types for pd.options.display.* properties#1231

Merged

Dr-Irv merged 4 commits intopandas-dev:mainfrom

mike-flowers-airbnb:mf--1230

Jun 3, 2025

Commits on May 29, 2025

Improve types for pd.options.display.* properties
mike-flowers-airbnb
committed

Commits on May 30, 2025

Commits on May 31, 2025

PR feedback
mike-flowers-airbnb
committed