expander.vala 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150
  1. /*
  2. * Copyright (c) 2012-2026 Daniele Bartolini et al.
  3. * SPDX-License-Identifier: GPL-3.0-or-later
  4. */
  5. namespace Crown
  6. {
  7. /// Drop-in replacement (sort-of) for Gtk.Expander with
  8. /// ability to set a custom widget alongside Expander's label.
  9. public class Expander : Gtk.Box
  10. {
  11. public bool _expanded = false;
  12. public Gtk.EventBox _header_event_box;
  13. public Gtk.GestureMultiPress _gesture_click;
  14. public Gtk.Box _header_box;
  15. public Gtk.Image _arrow_image;
  16. public Gtk.Widget _header_widget;
  17. public Gtk.Widget _child = null;
  18. public Expander(string? label = null)
  19. {
  20. Object(orientation: Gtk.Orientation.VERTICAL, spacing: 0);
  21. this.name = "expander2";
  22. _header_event_box = new Gtk.EventBox();
  23. _gesture_click = new Gtk.GestureMultiPress(_header_event_box);
  24. _gesture_click.pressed.connect(on_header_button_pressed);
  25. _header_box = new Gtk.Box(Gtk.Orientation.HORIZONTAL, 6);
  26. _header_box.homogeneous = false;
  27. _arrow_image = new Gtk.Image.from_icon_name("pan-end-symbolic", Gtk.IconSize.BUTTON);
  28. _header_box.pack_start(_arrow_image, false, false, 0);
  29. _header_widget = new Gtk.Label(label);
  30. _header_box.pack_start(_header_widget, true, true, 0);
  31. _header_box.get_style_context().add_class("header");
  32. _header_event_box.add(_header_box);
  33. this.pack_start(_header_event_box, false, false, 0);
  34. }
  35. public bool expanded
  36. {
  37. get
  38. {
  39. return _expanded;
  40. }
  41. set
  42. {
  43. if (_expanded == value)
  44. return;
  45. _expanded = value;
  46. if (_expanded)
  47. _arrow_image.set_from_icon_name("pan-down-symbolic", Gtk.IconSize.BUTTON);
  48. else
  49. _arrow_image.set_from_icon_name("pan-end-symbolic", Gtk.IconSize.BUTTON);
  50. if (_child != null) {
  51. if (_expanded)
  52. _child.show();
  53. else
  54. _child.hide();
  55. }
  56. }
  57. }
  58. public void on_header_button_pressed(int n_press, double x, double y)
  59. {
  60. uint button = _gesture_click.get_current_button();
  61. if (button == Gdk.BUTTON_PRIMARY)
  62. expanded = !expanded;
  63. }
  64. public string label
  65. {
  66. get
  67. {
  68. if (_header_widget is Gtk.Label)
  69. return ((Gtk.Label)_header_widget).label;
  70. else
  71. return "";
  72. }
  73. set
  74. {
  75. if (_header_widget is Gtk.Label) {
  76. ((Gtk.Label)_header_widget).label = value;
  77. } else {
  78. _header_box.remove(_header_widget);
  79. _header_widget = new Gtk.Label(value);
  80. _header_box.pack_start(_header_widget, true, true, 0);
  81. _header_box.show_all();
  82. }
  83. }
  84. }
  85. public Gtk.Widget custom_header
  86. {
  87. get
  88. {
  89. return _header_widget;
  90. }
  91. set
  92. {
  93. if (_header_widget != null)
  94. _header_box.remove(_header_widget);
  95. _header_widget = value;
  96. _header_box.pack_start(_header_widget, true, true, 0);
  97. _header_box.show_all();
  98. }
  99. }
  100. public override void add(Gtk.Widget widget)
  101. {
  102. assert(_child == null);
  103. _child = widget;
  104. base.add(_child);
  105. if (!_expanded)
  106. _child.hide();
  107. show_all();
  108. }
  109. public override void remove(Gtk.Widget widget)
  110. {
  111. if (widget == _child)
  112. _child = null;
  113. base.remove(widget);
  114. }
  115. public override void map()
  116. {
  117. if (_child != null) {
  118. if (!_expanded)
  119. _child.hide();
  120. }
  121. base.map();
  122. }
  123. }
  124. } /* namespace Crown */