Merge pull request #3383 from davep/text-area-theme-type-tweak

Don't document `TextArea` `language` and `theme` twice

Author: davep

src/textual/widgets/_text_area.py

@@ -305,10 +305,8 @@ def __init__(
         corresponding `TextAreaTheme` object."""
 
         self.language = language
-        """The language of the `TextArea`."""
 
-        self.theme: str | None = theme
-        """The name of the theme of the `TextArea` as set by the user."""
+        self.theme = theme
 
     @staticmethod
     def _get_builtin_highlight_query(language_name: str) -> str: