Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorStylesPage.ui
Preferences/ConfigurationPages/EditorStylesPage.ui
- branch
- Py2 comp.
- changeset 3484
- 645c12de6b0c
- parent 3341
- 7c015811fc4d
- child 4176
- 4c09d3d75768
equal
deleted
inserted
replaced
| 3456:96232974dcdb | 3484:645c12de6b0c |
|---|---|
| 5 <property name="geometry"> | 5 <property name="geometry"> |
| 6 <rect> | 6 <rect> |
| 7 <x>0</x> | 7 <x>0</x> |
| 8 <y>0</y> | 8 <y>0</y> |
| 9 <width>591</width> | 9 <width>591</width> |
| 10 <height>1966</height> | 10 <height>2019</height> |
| 11 </rect> | 11 </rect> |
| 12 </property> | 12 </property> |
| 13 <layout class="QVBoxLayout" name="verticalLayout_5"> | 13 <layout class="QVBoxLayout" name="verticalLayout_5"> |
| 14 <item> | 14 <item> |
| 15 <widget class="QLabel" name="headerLabel"> | 15 <widget class="QLabel" name="headerLabel"> |
| 1547 <property name="toolTip"> | 1547 <property name="toolTip"> |
| 1548 <string>Select to show a minimalistic context menu</string> | 1548 <string>Select to show a minimalistic context menu</string> |
| 1549 </property> | 1549 </property> |
| 1550 <property name="text"> | 1550 <property name="text"> |
| 1551 <string>Show minimal context menu</string> | 1551 <string>Show minimal context menu</string> |
| 1552 </property> | |
| 1553 </widget> | |
| 1554 </item> | |
| 1555 </layout> | |
| 1556 </widget> | |
| 1557 </item> | |
| 1558 <item> | |
| 1559 <widget class="QGroupBox" name="groupBox_14"> | |
| 1560 <property name="title"> | |
| 1561 <string>Marker Map</string> | |
| 1562 </property> | |
| 1563 <layout class="QGridLayout" name="gridLayout_9"> | |
| 1564 <item row="0" column="0"> | |
| 1565 <widget class="QLabel" name="label_6"> | |
| 1566 <property name="text"> | |
| 1567 <string>Errors:</string> | |
| 1568 </property> | |
| 1569 </widget> | |
| 1570 </item> | |
| 1571 <item row="0" column="1"> | |
| 1572 <widget class="QPushButton" name="errorsMapButton"> | |
| 1573 <property name="minimumSize"> | |
| 1574 <size> | |
| 1575 <width>100</width> | |
| 1576 <height>0</height> | |
| 1577 </size> | |
| 1578 </property> | |
| 1579 <property name="toolTip"> | |
| 1580 <string>Select the colour for error markers</string> | |
| 1581 </property> | |
| 1582 <property name="text"> | |
| 1583 <string/> | |
| 1584 </property> | |
| 1585 </widget> | |
| 1586 </item> | |
| 1587 <item row="0" column="2"> | |
| 1588 <widget class="QLabel" name="label_7"> | |
| 1589 <property name="text"> | |
| 1590 <string>Warnings:</string> | |
| 1591 </property> | |
| 1592 </widget> | |
| 1593 </item> | |
| 1594 <item row="0" column="3"> | |
| 1595 <widget class="QPushButton" name="warningsMapButton"> | |
| 1596 <property name="minimumSize"> | |
| 1597 <size> | |
| 1598 <width>100</width> | |
| 1599 <height>0</height> | |
| 1600 </size> | |
| 1601 </property> | |
| 1602 <property name="toolTip"> | |
| 1603 <string>Select the colour for warning markers</string> | |
| 1604 </property> | |
| 1605 <property name="text"> | |
| 1606 <string/> | |
| 1607 </property> | |
| 1608 </widget> | |
| 1609 </item> | |
| 1610 <item row="1" column="0"> | |
| 1611 <widget class="QLabel" name="label_8"> | |
| 1612 <property name="text"> | |
| 1613 <string>Bookmarks:</string> | |
| 1614 </property> | |
| 1615 </widget> | |
| 1616 </item> | |
| 1617 <item row="1" column="1"> | |
| 1618 <widget class="QPushButton" name="bookmarksMapButton"> | |
| 1619 <property name="minimumSize"> | |
| 1620 <size> | |
| 1621 <width>100</width> | |
| 1622 <height>0</height> | |
| 1623 </size> | |
| 1624 </property> | |
| 1625 <property name="toolTip"> | |
| 1626 <string>Select the colour for bookmark markers</string> | |
| 1627 </property> | |
| 1628 <property name="text"> | |
| 1629 <string/> | |
| 1630 </property> | |
| 1631 </widget> | |
| 1632 </item> | |
| 1633 <item row="1" column="2"> | |
| 1634 <widget class="QLabel" name="label_9"> | |
| 1635 <property name="text"> | |
| 1636 <string>Breakpoints:</string> | |
| 1637 </property> | |
| 1638 </widget> | |
| 1639 </item> | |
| 1640 <item row="1" column="3"> | |
| 1641 <widget class="QPushButton" name="breakpointsMapButton"> | |
| 1642 <property name="minimumSize"> | |
| 1643 <size> | |
| 1644 <width>100</width> | |
| 1645 <height>0</height> | |
| 1646 </size> | |
| 1647 </property> | |
| 1648 <property name="toolTip"> | |
| 1649 <string>Select the colour for breakpoint markers</string> | |
| 1650 </property> | |
| 1651 <property name="text"> | |
| 1652 <string/> | |
| 1653 </property> | |
| 1654 </widget> | |
| 1655 </item> | |
| 1656 <item row="2" column="0"> | |
| 1657 <widget class="QLabel" name="label_10"> | |
| 1658 <property name="text"> | |
| 1659 <string>Tasks:</string> | |
| 1660 </property> | |
| 1661 </widget> | |
| 1662 </item> | |
| 1663 <item row="2" column="1"> | |
| 1664 <widget class="QPushButton" name="tasksMapButton"> | |
| 1665 <property name="minimumSize"> | |
| 1666 <size> | |
| 1667 <width>100</width> | |
| 1668 <height>0</height> | |
| 1669 </size> | |
| 1670 </property> | |
| 1671 <property name="toolTip"> | |
| 1672 <string>Select the colour for task markers</string> | |
| 1673 </property> | |
| 1674 <property name="text"> | |
| 1675 <string/> | |
| 1676 </property> | |
| 1677 </widget> | |
| 1678 </item> | |
| 1679 <item row="2" column="2"> | |
| 1680 <widget class="QLabel" name="label_11"> | |
| 1681 <property name="text"> | |
| 1682 <string>Changes:</string> | |
| 1683 </property> | |
| 1684 </widget> | |
| 1685 </item> | |
| 1686 <item row="2" column="3"> | |
| 1687 <widget class="QPushButton" name="changesMapButton"> | |
| 1688 <property name="minimumSize"> | |
| 1689 <size> | |
| 1690 <width>100</width> | |
| 1691 <height>0</height> | |
| 1692 </size> | |
| 1693 </property> | |
| 1694 <property name="toolTip"> | |
| 1695 <string>Select the colour for change markers</string> | |
| 1696 </property> | |
| 1697 <property name="text"> | |
| 1698 <string/> | |
| 1699 </property> | |
| 1700 </widget> | |
| 1701 </item> | |
| 1702 <item row="3" column="0"> | |
| 1703 <widget class="QLabel" name="label_12"> | |
| 1704 <property name="text"> | |
| 1705 <string>Coverage:</string> | |
| 1706 </property> | |
| 1707 </widget> | |
| 1708 </item> | |
| 1709 <item row="3" column="1"> | |
| 1710 <widget class="QPushButton" name="coverageMapButton"> | |
| 1711 <property name="minimumSize"> | |
| 1712 <size> | |
| 1713 <width>100</width> | |
| 1714 <height>0</height> | |
| 1715 </size> | |
| 1716 </property> | |
| 1717 <property name="toolTip"> | |
| 1718 <string>Select the colour for coverage markers</string> | |
| 1719 </property> | |
| 1720 <property name="text"> | |
| 1721 <string/> | |
| 1722 </property> | |
| 1723 </widget> | |
| 1724 </item> | |
| 1725 <item row="3" column="2"> | |
| 1726 <widget class="QLabel" name="label_13"> | |
| 1727 <property name="text"> | |
| 1728 <string>Current Line:</string> | |
| 1729 </property> | |
| 1730 </widget> | |
| 1731 </item> | |
| 1732 <item row="3" column="3"> | |
| 1733 <widget class="QPushButton" name="currentMapButton"> | |
| 1734 <property name="minimumSize"> | |
| 1735 <size> | |
| 1736 <width>100</width> | |
| 1737 <height>0</height> | |
| 1738 </size> | |
| 1739 </property> | |
| 1740 <property name="toolTip"> | |
| 1741 <string>Select the colour for the current line marker</string> | |
| 1742 </property> | |
| 1743 <property name="text"> | |
| 1744 <string/> | |
| 1745 </property> | |
| 1746 </widget> | |
| 1747 </item> | |
| 1748 <item row="4" column="0"> | |
| 1749 <widget class="QLabel" name="label_14"> | |
| 1750 <property name="text"> | |
| 1751 <string>Background:</string> | |
| 1752 </property> | |
| 1753 </widget> | |
| 1754 </item> | |
| 1755 <item row="4" column="1"> | |
| 1756 <widget class="QPushButton" name="markerMapBackgroundButton"> | |
| 1757 <property name="minimumSize"> | |
| 1758 <size> | |
| 1759 <width>100</width> | |
| 1760 <height>0</height> | |
| 1761 </size> | |
| 1762 </property> | |
| 1763 <property name="toolTip"> | |
| 1764 <string>Select the background colour for the marker map</string> | |
| 1765 </property> | |
| 1766 <property name="text"> | |
| 1767 <string/> | |
| 1552 </property> | 1768 </property> |
| 1553 </widget> | 1769 </widget> |
| 1554 </item> | 1770 </item> |
| 1555 </layout> | 1771 </layout> |
| 1556 </widget> | 1772 </widget> |
