GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-18 22:12:21 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Make sure topleft buttons are rounded too, prefer Bootstrap's rounded class

Browse source
This commit is contained in:
Henrik Giesel 2021-03-01 13:00:12 +01:00
parent 6fbd82f2f8
commit cd26901f3d
2 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
qt/aqt/editor.py
View file

@ -179,7 +179,7 @@ class Editor:
"colour", "colour",
tr(TR.EDITING_SET_FOREGROUND_COLOUR_F7), tr(TR.EDITING_SET_FOREGROUND_COLOUR_F7),
""" """
<span id="forecolor" class="topbut topbut--rounded" style="background: #000"></span> <span id="forecolor" class="topbut rounded" style="background: #000"></span>
""", """,
), ),
self._addButton( self._addButton(
@ -187,7 +187,7 @@ class Editor:
"changeCol", "changeCol",
tr(TR.EDITING_CHANGE_COLOUR_F8), tr(TR.EDITING_CHANGE_COLOUR_F8),
""" """
<span class="topbut topbut--rounded rainbow"></span> <span class="topbut rounded rainbow"></span>
""", """,
), ),
self._addButton( self._addButton(
@ -315,7 +315,7 @@ class Editor:
iconstr = self.resourceToData(icon) iconstr = self.resourceToData(icon)
else: else:
iconstr = f"/_anki/imgs/{icon}.png" iconstr = f"/_anki/imgs/{icon}.png"
imgelm = f"""<img class=topbut src="{iconstr}">""" imgelm = f"""<img class="topbut" src="{iconstr}">"""
else: else:
imgelm = "" imgelm = ""
if label or not imgelm: if label or not imgelm:
@ -334,7 +334,7 @@ class Editor:
if rightside: if rightside:
class_ = "linkb" class_ = "linkb"
else: else:
class_ = "" class_ = "rounded"
if not disables: if not disables:
class_ += " perm" class_ += " perm"
return """<button tabindex=-1 return """<button tabindex=-1

4
ts/editor/editor.scss
View file

@ -65,10 +65,6 @@ body {
vertical-align: -0.125em; vertical-align: -0.125em;
} }
.topbut--rounded {
border-radius: 5px;
}
.rainbow { .rainbow {
background-image: -webkit-gradient( background-image: -webkit-gradient(
linear, linear,