New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Sort input file list #1030
Sort input file list #1030
Conversation
so that hlwm-doc.json builds in a reproducible way in spite of indeterministic filesystem readdir order See https://reproducible-builds.org/ for why this is good. This PR was done while working on reproducible builds for openSUSE.
Codecov Report
@@ Coverage Diff @@
## master #1030 +/- ##
========================================
- Coverage 90.0% 90.0% -0.1%
========================================
Files 102 102
Lines 8629 8629
========================================
- Hits 7774 7773 -1
- Misses 855 856 +1 |
|
Diff of the output of --- github/master
+++ #1030
@@ -1,44 +1,130 @@
{
"objects": {
- "IndexingObject": {
- "classname": "IndexingObject",
- "children": {},
- "attributes": {
- "count": {
- "name": "count",
- "cpp_name": "count",
- "type": "uint",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "MouseManager": {
- "classname": "MouseManager",
+ "ByName": {
+ "classname": "ByName",
"children": {},
"attributes": {}
},
- "TagManager": {
- "classname": "TagManager",
- "children": {
- "by-name": {
- "name": "by-name",
- "cpp_name": "by_name_",
- "type": "ByName",
- "class": "ByName"
- },
- "focus": {
- "name": "focus",
- "cpp_name": "focus_",
- "type": "HSTag",
- "class": "Link_"
- }
- },
- "attributes": {
- "count": {
- "name": "count",
- "cpp_name": "count",
- "type": "uint",
+ "Client": {
+ "classname": "Client",
+ "children": {},
+ "attributes": {
+ "urgent": {
+ "name": "urgent",
+ "cpp_name": "urgent_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "floating": {
+ "name": "floating",
+ "cpp_name": "floating_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "fullscreen": {
+ "name": "fullscreen",
+ "cpp_name": "fullscreen_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "title": {
+ "name": "title",
+ "cpp_name": "title_",
+ "type": "string",
+ "default_value": "",
+ "class": "Attribute_"
+ },
+ "tag": {
+ "name": "tag",
+ "cpp_name": "tag_str_",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "winid": {
+ "name": "winid",
+ "cpp_name": "window_id_str",
+ "type": "string",
+ "default_value": "",
+ "class": "Attribute_"
+ },
+ "keymask": {
+ "name": "keymask",
+ "cpp_name": "keyMask_",
+ "type": "regex",
+ "default_value": "",
+ "class": "Attribute_"
+ },
+ "keys_inactive": {
+ "name": "keys_inactive",
+ "cpp_name": "keysInactive_",
+ "type": "regex",
+ "default_value": "",
+ "class": "Attribute_"
+ },
+ "pid": {
+ "name": "pid",
+ "cpp_name": "pid_",
+ "type": "int",
+ "default_value": "-1",
+ "class": "Attribute_"
+ },
+ "pgid": {
+ "name": "pgid",
+ "cpp_name": "pgid_",
+ "type": "int",
+ "default_value": "-1",
+ "class": "Attribute_"
+ },
+ "pseudotile": {
+ "name": "pseudotile",
+ "cpp_name": "pseudotile_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "ewmhrequests": {
+ "name": "ewmhrequests",
+ "cpp_name": "ewmhrequests_",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "ewmhnotify": {
+ "name": "ewmhnotify",
+ "cpp_name": "ewmhnotify_",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "sizehints_floating": {
+ "name": "sizehints_floating",
+ "cpp_name": "sizehints_floating_",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "sizehints_tiling": {
+ "name": "sizehints_tiling",
+ "cpp_name": "sizehints_tiling_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "class": {
+ "name": "class",
+ "cpp_name": "window_class_",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "instance": {
+ "name": "instance",
+ "cpp_name": "window_instance_",
+ "type": "string",
"default_value": null,
"class": "DynAttribute_"
}
@@ -64,15 +150,203 @@
},
"attributes": {}
},
+ "FrameTree": {
+ "classname": "FrameTree",
+ "children": {
+ "root": {
+ "name": "root",
+ "cpp_name": "rootLink_",
+ "type": "Frame",
+ "class": "Link_"
+ },
+ "focused_frame": {
+ "name": "focused_frame",
+ "cpp_name": "focused_frame_",
+ "type": "Frame",
+ "class": "DynChild_",
+ "doc": "The focused frame (leaf) in this frame tree"
+ }
+ },
+ "attributes": {}
+ },
+ "HookManager": {
+ "classname": "HookManager",
+ "children": {},
+ "attributes": {}
+ },
+ "IndexingObject": {
+ "classname": "IndexingObject",
+ "children": {},
+ "attributes": {
+ "count": {
+ "name": "count",
+ "cpp_name": "count",
+ "type": "uint",
+ "default_value": null,
+ "class": "DynAttribute_"
+ }
+ }
+ },
"KeyManager": {
"classname": "KeyManager",
"children": {},
"attributes": {}
},
- "RuleManager": {
- "classname": "RuleManager",
- "children": {},
- "attributes": {}
+ "Frame": {
+ "classname": "Frame",
+ "children": {},
+ "attributes": {
+ "index": {
+ "name": "index",
+ "cpp_name": "frameIndexAttr_",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ }
+ }
+ },
+ "FrameLeaf": {
+ "classname": "FrameLeaf",
+ "children": {},
+ "attributes": {
+ "client_count": {
+ "name": "client_count",
+ "cpp_name": "client_count_",
+ "type": "int",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "selection": {
+ "name": "selection",
+ "cpp_name": "selectionAttr_",
+ "type": "int",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "algorithm": {
+ "name": "algorithm",
+ "cpp_name": "algorithmAttr_",
+ "type": "LayoutAlgorithm",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "index": {
+ "name": "index",
+ "cpp_name": "frameIndexAttr_",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ }
+ }
+ },
+ "FrameSplit": {
+ "classname": "FrameSplit",
+ "children": {
+ "0": {
+ "name": "0",
+ "cpp_name": "aLink_",
+ "type": "Frame",
+ "class": "Link_"
+ },
+ "1": {
+ "name": "1",
+ "cpp_name": "bLink_",
+ "type": "Frame",
+ "class": "Link_"
+ }
+ },
+ "attributes": {
+ "split_type": {
+ "name": "split_type",
+ "cpp_name": "splitTypeAttr_",
+ "type": "SplitAlign",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "fraction": {
+ "name": "fraction",
+ "cpp_name": "fractionAttr_",
+ "type": "decimal",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "selection": {
+ "name": "selection",
+ "cpp_name": "selectionAttr_",
+ "type": "int",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "index": {
+ "name": "index",
+ "cpp_name": "frameIndexAttr_",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ }
+ }
+ },
+ "Monitor": {
+ "classname": "Monitor",
+ "children": {},
+ "attributes": {
+ "name": {
+ "name": "name",
+ "cpp_name": "name",
+ "type": "string",
+ "default_value": "",
+ "class": "Attribute_"
+ },
+ "index": {
+ "name": "index",
+ "cpp_name": "index",
+ "type": "uint",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "tag": {
+ "name": "tag",
+ "cpp_name": "tag_string",
+ "type": "string",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "pad_up": {
+ "name": "pad_up",
+ "cpp_name": "pad_up",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "pad_right": {
+ "name": "pad_right",
+ "cpp_name": "pad_right",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "pad_down": {
+ "name": "pad_down",
+ "cpp_name": "pad_down",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "pad_left": {
+ "name": "pad_left",
+ "cpp_name": "pad_left",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "lock_tag": {
+ "name": "lock_tag",
+ "cpp_name": "lock_tag",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ }
+ }
},
"MonitorManager": {
"classname": "MonitorManager",
@@ -100,6 +374,423 @@
}
}
},
+ "MouseManager": {
+ "classname": "MouseManager",
+ "children": {},
+ "attributes": {}
+ },
+ "NamedHook": {
+ "classname": "NamedHook",
+ "children": {},
+ "attributes": {
+ "counter": {
+ "name": "counter",
+ "cpp_name": "counter_",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "active": {
+ "name": "active",
+ "cpp_name": "active_",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ }
+ }
+ },
+ "Root": {
+ "classname": "Root",
+ "children": {
+ "clients": {
+ "name": "clients",
+ "cpp_name": "clients",
+ "type": "ClientManager",
+ "class": "Child_"
+ },
+ "hooks": {
+ "name": "hooks",
+ "cpp_name": "hooks",
+ "type": "HookManager",
+ "class": "Child_"
+ },
+ "keys": {
+ "name": "keys",
+ "cpp_name": "keys",
+ "type": "KeyManager",
+ "class": "Child_"
+ },
+ "monitors": {
+ "name": "monitors",
+ "cpp_name": "monitors",
+ "type": "MonitorManager",
+ "class": "Child_"
+ },
+ "mouse": {
+ "name": "mouse",
+ "cpp_name": "mouse",
+ "type": "MouseManager",
+ "class": "Child_"
+ },
+ "rules": {
+ "name": "rules",
+ "cpp_name": "rules",
+ "type": "RuleManager",
+ "class": "Child_"
+ },
+ "settings": {
+ "name": "settings",
+ "cpp_name": "settings",
+ "type": "Settings",
+ "class": "Child_"
+ },
+ "tags": {
+ "name": "tags",
+ "cpp_name": "tags",
+ "type": "TagManager",
+ "class": "Child_"
+ },
+ "theme": {
+ "name": "theme",
+ "cpp_name": "theme",
+ "type": "Theme",
+ "class": "Child_"
+ },
+ "tmp": {
+ "name": "tmp",
+ "cpp_name": "tmp",
+ "type": "Tmp",
+ "class": "Child_"
+ }
+ },
+ "attributes": {}
+ },
+ "RuleManager": {
+ "classname": "RuleManager",
+ "children": {},
+ "attributes": {}
+ },
+ "Settings": {
+ "classname": "Settings",
+ "children": {},
+ "attributes": {
+ "verbose": {
+ "name": "verbose",
+ "cpp_name": "verbose",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "frame_gap": {
+ "name": "frame_gap",
+ "cpp_name": "frame_gap",
+ "type": "int",
+ "default_value": "5",
+ "class": "Attribute_"
+ },
+ "frame_padding": {
+ "name": "frame_padding",
+ "cpp_name": "frame_padding",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "window_gap": {
+ "name": "window_gap",
+ "cpp_name": "window_gap",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "snap_distance": {
+ "name": "snap_distance",
+ "cpp_name": "snap_distance",
+ "type": "int",
+ "default_value": "10",
+ "class": "Attribute_"
+ },
+ "snap_gap": {
+ "name": "snap_gap",
+ "cpp_name": "snap_gap",
+ "type": "int",
+ "default_value": "5",
+ "class": "Attribute_"
+ },
+ "mouse_recenter_gap": {
+ "name": "mouse_recenter_gap",
+ "cpp_name": "mouse_recenter_gap",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "frame_border_active_color": {
+ "name": "frame_border_active_color",
+ "cpp_name": "frame_border_active_color",
+ "type": "color",
+ "default_value": "red",
+ "class": "Attribute_"
+ },
+ "frame_border_normal_color": {
+ "name": "frame_border_normal_color",
+ "cpp_name": "frame_border_normal_color",
+ "type": "color",
+ "default_value": "blue",
+ "class": "Attribute_"
+ },
+ "frame_border_inner_color": {
+ "name": "frame_border_inner_color",
+ "cpp_name": "frame_border_inner_color",
+ "type": "color",
+ "default_value": "black",
+ "class": "Attribute_"
+ },
+ "frame_bg_normal_color": {
+ "name": "frame_bg_normal_color",
+ "cpp_name": "frame_bg_normal_color",
+ "type": "color",
+ "default_value": "black",
+ "class": "Attribute_"
+ },
+ "frame_bg_active_color": {
+ "name": "frame_bg_active_color",
+ "cpp_name": "frame_bg_active_color",
+ "type": "color",
+ "default_value": "black",
+ "class": "Attribute_"
+ },
+ "frame_bg_transparent": {
+ "name": "frame_bg_transparent",
+ "cpp_name": "frame_bg_transparent",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "frame_transparent_width": {
+ "name": "frame_transparent_width",
+ "cpp_name": "frame_transparent_width",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "frame_border_width": {
+ "name": "frame_border_width",
+ "cpp_name": "frame_border_width",
+ "type": "int",
+ "default_value": "2",
+ "class": "Attribute_"
+ },
+ "frame_border_inner_width": {
+ "name": "frame_border_inner_width",
+ "cpp_name": "frame_border_inner_width",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "frame_active_opacity": {
+ "name": "frame_active_opacity",
+ "cpp_name": "frame_active_opacity",
+ "type": "int",
+ "default_value": "100",
+ "class": "Attribute_"
+ },
+ "frame_normal_opacity": {
+ "name": "frame_normal_opacity",
+ "cpp_name": "frame_normal_opacity",
+ "type": "int",
+ "default_value": "100",
+ "class": "Attribute_"
+ },
+ "focus_crosses_monitor_boundaries": {
+ "name": "focus_crosses_monitor_boundaries",
+ "cpp_name": "focus_crosses_monitor_boundaries",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "always_show_frame": {
+ "name": "always_show_frame",
+ "cpp_name": "always_show_frame",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "default_direction_external_only": {
+ "name": "default_direction_external_only",
+ "cpp_name": "default_direction_external_only",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "default_frame_layout": {
+ "name": "default_frame_layout",
+ "cpp_name": "default_frame_layout",
+ "type": "uint",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "focus_follows_mouse": {
+ "name": "focus_follows_mouse",
+ "cpp_name": "focus_follows_mouse",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "focus_stealing_prevention": {
+ "name": "focus_stealing_prevention",
+ "cpp_name": "focus_stealing_prevention",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "swap_monitors_to_get_tag": {
+ "name": "swap_monitors_to_get_tag",
+ "cpp_name": "swap_monitors_to_get_tag",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "raise_on_focus": {
+ "name": "raise_on_focus",
+ "cpp_name": "raise_on_focus",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "raise_on_focus_temporarily": {
+ "name": "raise_on_focus_temporarily",
+ "cpp_name": "raise_on_focus_temporarily",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "raise_on_click": {
+ "name": "raise_on_click",
+ "cpp_name": "raise_on_click",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "gapless_grid": {
+ "name": "gapless_grid",
+ "cpp_name": "gapless_grid",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "hide_covered_windows": {
+ "name": "hide_covered_windows",
+ "cpp_name": "hide_covered_windows",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "smart_frame_surroundings": {
+ "name": "smart_frame_surroundings",
+ "cpp_name": "smart_frame_surroundings",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "smart_window_surroundings": {
+ "name": "smart_window_surroundings",
+ "cpp_name": "smart_window_surroundings",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "monitors_locked": {
+ "name": "monitors_locked",
+ "cpp_name": "monitors_locked",
+ "type": "int",
+ "default_value": "0",
+ "class": "Attribute_"
+ },
+ "auto_detect_monitors": {
+ "name": "auto_detect_monitors",
+ "cpp_name": "auto_detect_monitors",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "auto_detect_panels": {
+ "name": "auto_detect_panels",
+ "cpp_name": "auto_detect_panels",
+ "type": "bool",
+ "default_value": "true",
+ "class": "Attribute_"
+ },
+ "pseudotile_center_threshold": {
+ "name": "pseudotile_center_threshold",
+ "cpp_name": "pseudotile_center_threshold",
+ "type": "int",
+ "default_value": "10",
+ "class": "Attribute_"
+ },
+ "update_dragged_clients": {
+ "name": "update_dragged_clients",
+ "cpp_name": "update_dragged_clients",
+ "type": "bool",
+ "default_value": "false",
+ "class": "Attribute_"
+ },
+ "tree_style": {
+ "name": "tree_style",
+ "cpp_name": "tree_style",
+ "type": "string",
+ "default_value": "*| +`--.",
+ "class": "Attribute_"
+ },
+ "wmname": {
+ "name": "wmname",
+ "cpp_name": "wmname",
+ "type": "string",
+ "default_value": "herbstluftwm",
+ "class": "Attribute_"
+ },
+ "window_border_width": {
+ "name": "window_border_width",
+ "cpp_name": "window_border_width",
+ "type": "int",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "window_border_inner_width": {
+ "name": "window_border_inner_width",
+ "cpp_name": "window_border_inner_width",
+ "type": "int",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "window_border_inner_color": {
+ "name": "window_border_inner_color",
+ "cpp_name": "window_border_inner_color",
+ "type": "color",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "window_border_active_color": {
+ "name": "window_border_active_color",
+ "cpp_name": "window_border_active_color",
+ "type": "color",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "window_border_normal_color": {
+ "name": "window_border_normal_color",
+ "cpp_name": "window_border_normal_color",
+ "type": "color",
+ "default_value": null,
+ "class": "DynAttribute_"
+ },
+ "window_border_urgent_color": {
+ "name": "window_border_urgent_color",
+ "cpp_name": "window_border_urgent_color",
+ "type": "color",
+ "default_value": null,
+ "class": "DynAttribute_"
+ }
+ }
+ },
"HSTag": {
"classname": "HSTag",
"children": {
@@ -189,153 +880,29 @@
}
}
},
- "Tmp": {
- "classname": "Tmp",
- "children": {},
- "attributes": {}
- },
- "Client": {
- "classname": "Client",
- "children": {},
- "attributes": {
- "urgent": {
- "name": "urgent",
- "cpp_name": "urgent_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "floating": {
- "name": "floating",
- "cpp_name": "floating_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "fullscreen": {
- "name": "fullscreen",
- "cpp_name": "fullscreen_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "title": {
- "name": "title",
- "cpp_name": "title_",
- "type": "string",
- "default_value": "",
- "class": "Attribute_"
- },
- "tag": {
- "name": "tag",
- "cpp_name": "tag_str_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "winid": {
- "name": "winid",
- "cpp_name": "window_id_str",
- "type": "string",
- "default_value": "",
- "class": "Attribute_"
- },
- "keymask": {
- "name": "keymask",
- "cpp_name": "keyMask_",
- "type": "regex",
- "default_value": "",
- "class": "Attribute_"
- },
- "keys_inactive": {
- "name": "keys_inactive",
- "cpp_name": "keysInactive_",
- "type": "regex",
- "default_value": "",
- "class": "Attribute_"
- },
- "pid": {
- "name": "pid",
- "cpp_name": "pid_",
- "type": "int",
- "default_value": "-1",
- "class": "Attribute_"
- },
- "pgid": {
- "name": "pgid",
- "cpp_name": "pgid_",
- "type": "int",
- "default_value": "-1",
- "class": "Attribute_"
- },
- "pseudotile": {
- "name": "pseudotile",
- "cpp_name": "pseudotile_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "ewmhrequests": {
- "name": "ewmhrequests",
- "cpp_name": "ewmhrequests_",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "ewmhnotify": {
- "name": "ewmhnotify",
- "cpp_name": "ewmhnotify_",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "sizehints_floating": {
- "name": "sizehints_floating",
- "cpp_name": "sizehints_floating_",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "sizehints_tiling": {
- "name": "sizehints_tiling",
- "cpp_name": "sizehints_tiling_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "class": {
- "name": "class",
- "cpp_name": "window_class_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "instance": {
- "name": "instance",
- "cpp_name": "window_instance_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "NamedHook": {
- "classname": "NamedHook",
- "children": {},
- "attributes": {
- "counter": {
- "name": "counter",
- "cpp_name": "counter_",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "active": {
- "name": "active",
- "cpp_name": "active_",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
+ "TagManager": {
+ "classname": "TagManager",
+ "children": {
+ "by-name": {
+ "name": "by-name",
+ "cpp_name": "by_name_",
+ "type": "ByName",
+ "class": "ByName"
+ },
+ "focus": {
+ "name": "focus",
+ "cpp_name": "focus_",
+ "type": "HSTag",
+ "class": "Link_"
+ }
+ },
+ "attributes": {
+ "count": {
+ "name": "count",
+ "cpp_name": "count",
+ "type": "uint",
+ "default_value": null,
+ "class": "DynAttribute_"
}
}
},
@@ -692,575 +1259,8 @@
}
}
},
- "HookManager": {
- "classname": "HookManager",
- "children": {},
- "attributes": {}
- },
- "Root": {
- "classname": "Root",
- "children": {
- "clients": {
- "name": "clients",
- "cpp_name": "clients",
- "type": "ClientManager",
- "class": "Child_"
- },
- "hooks": {
- "name": "hooks",
- "cpp_name": "hooks",
- "type": "HookManager",
- "class": "Child_"
- },
- "keys": {
- "name": "keys",
- "cpp_name": "keys",
- "type": "KeyManager",
- "class": "Child_"
- },
- "monitors": {
- "name": "monitors",
- "cpp_name": "monitors",
- "type": "MonitorManager",
- "class": "Child_"
- },
- "mouse": {
- "name": "mouse",
- "cpp_name": "mouse",
- "type": "MouseManager",
- "class": "Child_"
- },
- "rules": {
- "name": "rules",
- "cpp_name": "rules",
- "type": "RuleManager",
- "class": "Child_"
- },
- "settings": {
- "name": "settings",
- "cpp_name": "settings",
- "type": "Settings",
- "class": "Child_"
- },
- "tags": {
- "name": "tags",
- "cpp_name": "tags",
- "type": "TagManager",
- "class": "Child_"
- },
- "theme": {
- "name": "theme",
- "cpp_name": "theme",
- "type": "Theme",
- "class": "Child_"
- },
- "tmp": {
- "name": "tmp",
- "cpp_name": "tmp",
- "type": "Tmp",
- "class": "Child_"
- }
- },
- "attributes": {}
- },
- "Settings": {
- "classname": "Settings",
- "children": {},
- "attributes": {
- "verbose": {
- "name": "verbose",
- "cpp_name": "verbose",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "frame_gap": {
- "name": "frame_gap",
- "cpp_name": "frame_gap",
- "type": "int",
- "default_value": "5",
- "class": "Attribute_"
- },
- "frame_padding": {
- "name": "frame_padding",
- "cpp_name": "frame_padding",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "window_gap": {
- "name": "window_gap",
- "cpp_name": "window_gap",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "snap_distance": {
- "name": "snap_distance",
- "cpp_name": "snap_distance",
- "type": "int",
- "default_value": "10",
- "class": "Attribute_"
- },
- "snap_gap": {
- "name": "snap_gap",
- "cpp_name": "snap_gap",
- "type": "int",
- "default_value": "5",
- "class": "Attribute_"
- },
- "mouse_recenter_gap": {
- "name": "mouse_recenter_gap",
- "cpp_name": "mouse_recenter_gap",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "frame_border_active_color": {
- "name": "frame_border_active_color",
- "cpp_name": "frame_border_active_color",
- "type": "color",
- "default_value": "red",
- "class": "Attribute_"
- },
- "frame_border_normal_color": {
- "name": "frame_border_normal_color",
- "cpp_name": "frame_border_normal_color",
- "type": "color",
- "default_value": "blue",
- "class": "Attribute_"
- },
- "frame_border_inner_color": {
- "name": "frame_border_inner_color",
- "cpp_name": "frame_border_inner_color",
- "type": "color",
- "default_value": "black",
- "class": "Attribute_"
- },
- "frame_bg_normal_color": {
- "name": "frame_bg_normal_color",
- "cpp_name": "frame_bg_normal_color",
- "type": "color",
- "default_value": "black",
- "class": "Attribute_"
- },
- "frame_bg_active_color": {
- "name": "frame_bg_active_color",
- "cpp_name": "frame_bg_active_color",
- "type": "color",
- "default_value": "black",
- "class": "Attribute_"
- },
- "frame_bg_transparent": {
- "name": "frame_bg_transparent",
- "cpp_name": "frame_bg_transparent",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "frame_transparent_width": {
- "name": "frame_transparent_width",
- "cpp_name": "frame_transparent_width",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "frame_border_width": {
- "name": "frame_border_width",
- "cpp_name": "frame_border_width",
- "type": "int",
- "default_value": "2",
- "class": "Attribute_"
- },
- "frame_border_inner_width": {
- "name": "frame_border_inner_width",
- "cpp_name": "frame_border_inner_width",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "frame_active_opacity": {
- "name": "frame_active_opacity",
- "cpp_name": "frame_active_opacity",
- "type": "int",
- "default_value": "100",
- "class": "Attribute_"
- },
- "frame_normal_opacity": {
- "name": "frame_normal_opacity",
- "cpp_name": "frame_normal_opacity",
- "type": "int",
- "default_value": "100",
- "class": "Attribute_"
- },
- "focus_crosses_monitor_boundaries": {
- "name": "focus_crosses_monitor_boundaries",
- "cpp_name": "focus_crosses_monitor_boundaries",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "always_show_frame": {
- "name": "always_show_frame",
- "cpp_name": "always_show_frame",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "default_direction_external_only": {
- "name": "default_direction_external_only",
- "cpp_name": "default_direction_external_only",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "default_frame_layout": {
- "name": "default_frame_layout",
- "cpp_name": "default_frame_layout",
- "type": "uint",
- "default_value": "0",
- "class": "Attribute_"
- },
- "focus_follows_mouse": {
- "name": "focus_follows_mouse",
- "cpp_name": "focus_follows_mouse",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "focus_stealing_prevention": {
- "name": "focus_stealing_prevention",
- "cpp_name": "focus_stealing_prevention",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "swap_monitors_to_get_tag": {
- "name": "swap_monitors_to_get_tag",
- "cpp_name": "swap_monitors_to_get_tag",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "raise_on_focus": {
- "name": "raise_on_focus",
- "cpp_name": "raise_on_focus",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "raise_on_focus_temporarily": {
- "name": "raise_on_focus_temporarily",
- "cpp_name": "raise_on_focus_temporarily",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "raise_on_click": {
- "name": "raise_on_click",
- "cpp_name": "raise_on_click",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "gapless_grid": {
- "name": "gapless_grid",
- "cpp_name": "gapless_grid",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "hide_covered_windows": {
- "name": "hide_covered_windows",
- "cpp_name": "hide_covered_windows",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "smart_frame_surroundings": {
- "name": "smart_frame_surroundings",
- "cpp_name": "smart_frame_surroundings",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "smart_window_surroundings": {
- "name": "smart_window_surroundings",
- "cpp_name": "smart_window_surroundings",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "monitors_locked": {
- "name": "monitors_locked",
- "cpp_name": "monitors_locked",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "auto_detect_monitors": {
- "name": "auto_detect_monitors",
- "cpp_name": "auto_detect_monitors",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "auto_detect_panels": {
- "name": "auto_detect_panels",
- "cpp_name": "auto_detect_panels",
- "type": "bool",
- "default_value": "true",
- "class": "Attribute_"
- },
- "pseudotile_center_threshold": {
- "name": "pseudotile_center_threshold",
- "cpp_name": "pseudotile_center_threshold",
- "type": "int",
- "default_value": "10",
- "class": "Attribute_"
- },
- "update_dragged_clients": {
- "name": "update_dragged_clients",
- "cpp_name": "update_dragged_clients",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- },
- "tree_style": {
- "name": "tree_style",
- "cpp_name": "tree_style",
- "type": "string",
- "default_value": "*| +`--.",
- "class": "Attribute_"
- },
- "wmname": {
- "name": "wmname",
- "cpp_name": "wmname",
- "type": "string",
- "default_value": "herbstluftwm",
- "class": "Attribute_"
- },
- "window_border_width": {
- "name": "window_border_width",
- "cpp_name": "window_border_width",
- "type": "int",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "window_border_inner_width": {
- "name": "window_border_inner_width",
- "cpp_name": "window_border_inner_width",
- "type": "int",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "window_border_inner_color": {
- "name": "window_border_inner_color",
- "cpp_name": "window_border_inner_color",
- "type": "color",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "window_border_active_color": {
- "name": "window_border_active_color",
- "cpp_name": "window_border_active_color",
- "type": "color",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "window_border_normal_color": {
- "name": "window_border_normal_color",
- "cpp_name": "window_border_normal_color",
- "type": "color",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "window_border_urgent_color": {
- "name": "window_border_urgent_color",
- "cpp_name": "window_border_urgent_color",
- "type": "color",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "FrameTree": {
- "classname": "FrameTree",
- "children": {
- "root": {
- "name": "root",
- "cpp_name": "rootLink_",
- "type": "Frame",
- "class": "Link_"
- },
- "focused_frame": {
- "name": "focused_frame",
- "cpp_name": "focused_frame_",
- "type": "Frame",
- "class": "DynChild_",
- "doc": "The focused frame (leaf) in this frame tree"
- }
- },
- "attributes": {}
- },
- "Monitor": {
- "classname": "Monitor",
- "children": {},
- "attributes": {
- "name": {
- "name": "name",
- "cpp_name": "name",
- "type": "string",
- "default_value": "",
- "class": "Attribute_"
- },
- "index": {
- "name": "index",
- "cpp_name": "index",
- "type": "uint",
- "default_value": "0",
- "class": "Attribute_"
- },
- "tag": {
- "name": "tag",
- "cpp_name": "tag_string",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "pad_up": {
- "name": "pad_up",
- "cpp_name": "pad_up",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "pad_right": {
- "name": "pad_right",
- "cpp_name": "pad_right",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "pad_down": {
- "name": "pad_down",
- "cpp_name": "pad_down",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "pad_left": {
- "name": "pad_left",
- "cpp_name": "pad_left",
- "type": "int",
- "default_value": "0",
- "class": "Attribute_"
- },
- "lock_tag": {
- "name": "lock_tag",
- "cpp_name": "lock_tag",
- "type": "bool",
- "default_value": "false",
- "class": "Attribute_"
- }
- }
- },
- "Frame": {
- "classname": "Frame",
- "children": {},
- "attributes": {
- "index": {
- "name": "index",
- "cpp_name": "frameIndexAttr_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "FrameLeaf": {
- "classname": "FrameLeaf",
- "children": {},
- "attributes": {
- "client_count": {
- "name": "client_count",
- "cpp_name": "client_count_",
- "type": "int",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "selection": {
- "name": "selection",
- "cpp_name": "selectionAttr_",
- "type": "int",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "algorithm": {
- "name": "algorithm",
- "cpp_name": "algorithmAttr_",
- "type": "LayoutAlgorithm",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "index": {
- "name": "index",
- "cpp_name": "frameIndexAttr_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "FrameSplit": {
- "classname": "FrameSplit",
- "children": {
- "0": {
- "name": "0",
- "cpp_name": "aLink_",
- "type": "Frame",
- "class": "Link_"
- },
- "1": {
- "name": "1",
- "cpp_name": "bLink_",
- "type": "Frame",
- "class": "Link_"
- }
- },
- "attributes": {
- "split_type": {
- "name": "split_type",
- "cpp_name": "splitTypeAttr_",
- "type": "SplitAlign",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "fraction": {
- "name": "fraction",
- "cpp_name": "fractionAttr_",
- "type": "decimal",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "selection": {
- "name": "selection",
- "cpp_name": "selectionAttr_",
- "type": "int",
- "default_value": null,
- "class": "DynAttribute_"
- },
- "index": {
- "name": "index",
- "cpp_name": "frameIndexAttr_",
- "type": "string",
- "default_value": null,
- "class": "DynAttribute_"
- }
- }
- },
- "ByName": {
- "classname": "ByName",
+ "Tmp": {
+ "classname": "Tmp",
"children": {},
"attributes": {}
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! I'm surprised that the input file order has an effect on the output because I thought the output is entireliy determined by the 'dict' datatype. It seems I was wrong, so it's good to have this. Thanks for the patch and thanks for packaging hlwm :)
(Note to self: I should also remove the unused loop variables here)
|
ah, might be because we |
|
I've also reproduced the change of the order locally (the diff posted above has been generated locally). |
Sort input file list
so that
hlwm-doc.jsonbuilds in a reproducible wayin spite of indeterministic filesystem readdir order
See https://reproducible-builds.org/ for why this is good.
This PR was done while working on reproducible builds for openSUSE.