189 self.__addButton("bold", "formatTextBold", self.tr("Bold")) |
189 self.__addButton("bold", "formatTextBold", self.tr("Bold")) |
190 self.__addButton("italic", "formatTextItalic", self.tr("Italic")) |
190 self.__addButton("italic", "formatTextItalic", self.tr("Italic")) |
191 self.__addButton( |
191 self.__addButton( |
192 "strikethrough", "formatTextStrikethrough", self.tr("Strike Through") |
192 "strikethrough", "formatTextStrikethrough", self.tr("Strike Through") |
193 ) |
193 ) |
|
194 self.__addButton("underline", "formatTextUnderline", self.tr("Underline")) |
194 self.__addSeparator() |
195 self.__addSeparator() |
195 self.__addButton("header1", "formatTextHeader1", self.tr("Header 1")) |
196 self.__addButton("header1", "formatTextHeader1", self.tr("Header 1")) |
196 self.__addButton("header2", "formatTextHeader2", self.tr("Header 2")) |
197 self.__addButton("header2", "formatTextHeader2", self.tr("Header 2")) |
197 self.__addButton("header3", "formatTextHeader3", self.tr("Header 3")) |
198 self.__addButton("header3", "formatTextHeader3", self.tr("Header 3")) |
198 button = self.__addButton("header", "formatTextHeader", self.tr("Header")) |
199 button = self.__addButton("header", "formatTextHeader", self.tr("Header")) |
267 self.__buttons["bold"].setEnabled(self.__provider.hasBold()) |
268 self.__buttons["bold"].setEnabled(self.__provider.hasBold()) |
268 self.__buttons["italic"].setEnabled(self.__provider.hasItalic()) |
269 self.__buttons["italic"].setEnabled(self.__provider.hasItalic()) |
269 self.__buttons["strikethrough"].setEnabled( |
270 self.__buttons["strikethrough"].setEnabled( |
270 self.__provider.hasStrikethrough() |
271 self.__provider.hasStrikethrough() |
271 ) |
272 ) |
|
273 self.__buttons["underline"].setEnabled(self.__provider.hasUnderline()) |
272 |
274 |
273 headerLevels = self.__provider.headerLevels() |
275 headerLevels = self.__provider.headerLevels() |
274 self.__buttons["header1"].setEnabled(headerLevels >= 1) |
276 self.__buttons["header1"].setEnabled(headerLevels >= 1) |
275 self.__buttons["header2"].setEnabled(headerLevels >= 2) |
277 self.__buttons["header2"].setEnabled(headerLevels >= 2) |
276 self.__buttons["header3"].setEnabled(headerLevels >= 3) |
278 self.__buttons["header3"].setEnabled(headerLevels >= 3) |
302 self.__provider.bold(self.__editor) |
304 self.__provider.bold(self.__editor) |
303 elif formatName == "italic": |
305 elif formatName == "italic": |
304 self.__provider.italic(self.__editor) |
306 self.__provider.italic(self.__editor) |
305 elif formatName == "strikethrough": |
307 elif formatName == "strikethrough": |
306 self.__provider.strikethrough(self.__editor) |
308 self.__provider.strikethrough(self.__editor) |
|
309 elif formatName == "underline": |
|
310 self.__provider.underline(self.__editor) |
307 elif formatName.startswith("header"): |
311 elif formatName.startswith("header"): |
308 with contextlib.suppress(ValueError): |
312 with contextlib.suppress(ValueError): |
309 level = int(formatName[-1]) |
313 level = int(formatName[-1]) |
310 self.__provider.header(self.__editor, level) |
314 self.__provider.header(self.__editor, level) |
311 elif formatName == "code": |
315 elif formatName == "code": |