xlmnxp/blue-recorder
1
0
Fork 0
mirror of https://github.com/xlmnxp/blue-recorder.git synced 2024-11-23 17:13:11 +03:00
Code Issues Packages Projects Releases Wiki Activity

add auto hide

Browse Source
This commit is contained in:
ochibani 2023-10-19 02:09:33 +02:00
parent 7688528040
commit 8b7343c8f8
No known key found for this signature in database
GPG Key ID: 2C6B61CE0C704ED4
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
interfaces/main.ui
View File

@ -432,6 +432,7 @@
<object class="GtkLabel" id="delay_label"> <object class="GtkLabel" id="delay_label">
<property name="visible">True</property> <property name="visible">True</property>
<property name="can-focus">True</property> <property name="can-focus">True</property>
<property name="margin-end">13</property>
<property name="label" translatable="yes">label</property> <property name="label" translatable="yes">label</property>
<layout> <layout>
<property name="column">0</property> <property name="column">0</property>

2
src/main.rs
View File

@ -476,6 +476,7 @@ pub fn build_ui(application: &Application) {
let _delay_window = delay_window.clone(); let _delay_window = delay_window.clone();
let _delay_window_button = delay_window_button.clone(); let _delay_window_button = delay_window_button.clone();
let mut _ffmpeg_record_interface = ffmpeg_record_interface.clone(); let mut _ffmpeg_record_interface = ffmpeg_record_interface.clone();
let _main_window = main_window.clone();
let _play_button = play_button.clone(); let _play_button = play_button.clone();
let _record_button = record_button.clone(); let _record_button = record_button.clone();
let _record_time_label = record_time_label.clone(); let _record_time_label = record_time_label.clone();
@ -506,6 +507,7 @@ pub fn build_ui(application: &Application) {
_ => { _ => {
start_timer(record_time_label.clone()); start_timer(record_time_label.clone());
record_time_label.set_visible(true); record_time_label.set_visible(true);
_main_window.minimize();
_play_button.hide(); _play_button.hide();
_record_button.hide(); _record_button.hide();
_stop_button.show(); _stop_button.show();