Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-25 23:46:04 +08:00
Code Issues Actions 27 Packages Projects Releases Wiki Activity

[supervision] Set custom icons, and change shortcut for clean. (#3049)

Browse Source 
* [supervision] Set custom icons, and change shortcut for clean.

* [supervision] Add control panel selector.

* [supervision] remember last target built.

* [supervision] refresh AC before build.
This commit is contained in:
Fabien-B
2023-08-25 13:21:07 +02:00
committed by GitHub
parent 78f117b902
commit ee01f2720b
48 changed files with 1365 additions and 183 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/python/generated/ui_session.py
+52 -31
View File
@@ -2,9 +2,10 @@
# Form implementation generated from reading ui file 'ui/ui_session.ui'
#
# Created by: PyQt5 UI code generator 5.14.1
# Created by: PyQt5 UI code generator 5.15.6
#
# WARNING! All changes made in this file will be lost!
# WARNING: Any manual changes made to this file will be lost when pyuic5 is
# run again. Do not edit this file unless you know what you are doing.
from PyQt5 import QtCore, QtGui, QtWidgets
@@ -16,25 +17,38 @@ class Ui_Session(object):
Session.resize(400, 300)
self.verticalLayout = QtWidgets.QVBoxLayout(Session)
self.verticalLayout.setObjectName("verticalLayout")
self.label_2 = QtWidgets.QLabel(Session)
self.label_2.setObjectName("label_2")
self.verticalLayout.addWidget(self.label_2)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.sessions_combo = QtWidgets.QComboBox(Session)
self.sessions_combo.setObjectName("sessions_combo")
self.horizontalLayout_2.addWidget(self.sessions_combo)
self.gridLayout = QtWidgets.QGridLayout()
self.gridLayout.setObjectName("gridLayout")
self.start_session_button = QtWidgets.QToolButton(Session)
icon = QtGui.QIcon.fromTheme("media-playback-start")
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/icons/play.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.start_session_button.setIcon(icon)
self.start_session_button.setObjectName("start_session_button")
self.horizontalLayout_2.addWidget(self.start_session_button)
self.gridLayout.addWidget(self.start_session_button, 1, 2, 1, 1)
self.menu_button = QtWidgets.QToolButton(Session)
self.menu_button.setContextMenuPolicy(QtCore.Qt.ActionsContextMenu)
icon = QtGui.QIcon.fromTheme("format-justify-fill")
self.menu_button.setIcon(icon)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/icons/menu.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.menu_button.setIcon(icon1)
self.menu_button.setObjectName("menu_button")
self.horizontalLayout_2.addWidget(self.menu_button)
self.gridLayout.addWidget(self.menu_button, 1, 3, 1, 1)
self.control_panel_combo = QtWidgets.QComboBox(Session)
self.control_panel_combo.setObjectName("control_panel_combo")
self.gridLayout.addWidget(self.control_panel_combo, 1, 0, 1, 1)
self.label_3 = QtWidgets.QLabel(Session)
self.label_3.setObjectName("label_3")
self.gridLayout.addWidget(self.label_3, 0, 0, 1, 1)
self.label_4 = QtWidgets.QLabel(Session)
self.label_4.setObjectName("label_4")
self.gridLayout.addWidget(self.label_4, 0, 1, 1, 1)
self.sessions_combo = QtWidgets.QComboBox(Session)
self.sessions_combo.setObjectName("sessions_combo")
self.gridLayout.addWidget(self.sessions_combo, 1, 1, 1, 1)
self.gridLayout.setColumnStretch(0, 2)
self.gridLayout.setColumnStretch(1, 3)
self.verticalLayout.addLayout(self.gridLayout)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.verticalLayout.addLayout(self.horizontalLayout_2)
self.favorite_tools = QtWidgets.QWidget(Session)
self.favorite_tools.setObjectName("favorite_tools")
@@ -47,8 +61,9 @@ class Ui_Session(object):
spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.add_tool_button = QtWidgets.QToolButton(Session)
icon = QtGui.QIcon.fromTheme("list-add")
self.add_tool_button.setIcon(icon)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/icons/add.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.add_tool_button.setIcon(icon2)
self.add_tool_button.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
self.add_tool_button.setAutoRaise(False)
self.add_tool_button.setArrowType(QtCore.Qt.NoArrow)
@@ -62,18 +77,19 @@ class Ui_Session(object):
self.line.setObjectName("line")
self.horizontalLayout.addWidget(self.line)
self.startall_button = QtWidgets.QToolButton(Session)
icon = QtGui.QIcon.fromTheme("media-playback-start")
self.startall_button.setIcon(icon)
self.startall_button.setObjectName("startall_button")
self.horizontalLayout.addWidget(self.startall_button)
self.stopall_button = QtWidgets.QToolButton(Session)
icon = QtGui.QIcon.fromTheme("media-playback-stop")
self.stopall_button.setIcon(icon)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/icons/stop.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.stopall_button.setIcon(icon3)
self.stopall_button.setObjectName("stopall_button")
self.horizontalLayout.addWidget(self.stopall_button)
self.removeall_button = QtWidgets.QToolButton(Session)
icon = QtGui.QIcon.fromTheme("list-remove")
self.removeall_button.setIcon(icon)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/icons/remove.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.removeall_button.setIcon(icon4)
self.removeall_button.setObjectName("removeall_button")
self.horizontalLayout.addWidget(self.removeall_button)
self.verticalLayout.addLayout(self.horizontalLayout)
@@ -81,7 +97,7 @@ class Ui_Session(object):
self.scrollArea.setWidgetResizable(True)
self.scrollArea.setObjectName("scrollArea")
self.programs_widget = QtWidgets.QWidget()
self.programs_widget.setGeometry(QtCore.QRect(0, 0, 380, 176))
self.programs_widget.setGeometry(QtCore.QRect(0, 0, 384, 154))
self.programs_widget.setObjectName("programs_widget")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.programs_widget)
self.verticalLayout_2.setObjectName("verticalLayout_2")
@@ -90,33 +106,37 @@ class Ui_Session(object):
self.scrollArea.setWidget(self.programs_widget)
self.verticalLayout.addWidget(self.scrollArea)
self.save_session_action = QtWidgets.QAction(Session)
icon = QtGui.QIcon.fromTheme("document-save")
self.save_session_action.setIcon(icon)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/icons/save.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_session_action.setIcon(icon5)
self.save_session_action.setObjectName("save_session_action")
self.save_as_action = QtWidgets.QAction(Session)
icon = QtGui.QIcon.fromTheme("edit-copy")
self.save_as_action.setIcon(icon)
self.save_as_action.setObjectName("save_as_action")
self.rename_session_action = QtWidgets.QAction(Session)
icon = QtGui.QIcon.fromTheme("format-text-italic")
self.rename_session_action.setIcon(icon)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/icons/icons/copy.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.rename_session_action.setIcon(icon6)
self.rename_session_action.setObjectName("rename_session_action")
self.remove_session_action = QtWidgets.QAction(Session)
icon = QtGui.QIcon.fromTheme("edit-delete")
self.remove_session_action.setIcon(icon)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/icons/icons/delete.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.remove_session_action.setIcon(icon7)
self.remove_session_action.setObjectName("remove_session_action")
self.retranslateUi(Session)
self.menu_button.clicked.connect(self.menu_button.showMenu)
self.menu_button.clicked.connect(self.menu_button.showMenu) # type: ignore
QtCore.QMetaObject.connectSlotsByName(Session)
def retranslateUi(self, Session):
_translate = QtCore.QCoreApplication.translate
Session.setWindowTitle(_translate("Session", "Form"))
self.label_2.setText(_translate("Session", "Session"))
self.start_session_button.setToolTip(_translate("Session", "Start Session"))
self.start_session_button.setText(_translate("Session", "..."))
self.menu_button.setText(_translate("Session", "..."))
self.label_3.setText(_translate("Session", "control panel"))
self.label_4.setText(_translate("Session", "Session"))
self.label.setText(_translate("Session", "Programs"))
self.add_tool_button.setToolTip(_translate("Session", "Add Tool"))
self.add_tool_button.setText(_translate("Session", "Add tool"))
@@ -131,3 +151,4 @@ class Ui_Session(object):
self.save_as_action.setToolTip(_translate("Session", "Save session as..."))
self.rename_session_action.setText(_translate("Session", "Rename session"))
self.remove_session_action.setText(_translate("Session", "Remove session"))
from generated import resources_rc