beenull/xpipe-mirror
1
0
Fork 0
mirror of https://github.com/xpipe-io/xpipe.git synced 2024-11-22 07:30:24 +00:00
Code Issues Projects Releases Packages Wiki Activity

Various fixes

Browse source
This commit is contained in:
crschnick 2024-02-28 06:28:35 +00:00
parent cc2e0a6198
commit 96b3ee8e54
3 changed files with 14 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
app/src/main/java/io/xpipe/app/util/FileOpener.java
View file

@ -71,7 +71,11 @@ public class FileOpener {
try { try {
editor.launch(Path.of(localFile).toRealPath()); editor.launch(Path.of(localFile).toRealPath());
} catch (Exception e) { } catch (Exception e) {
ErrorEvent.fromThrowable(e).expected().handle(); ErrorEvent.fromThrowable(e)
.description("Unable to launch editor " + editor.toTranslatedString().getValue()
+ ".\nMaybe try to use a different editor in the settings.")
.expected()
.handle();
} }
} }

6
app/src/main/java/io/xpipe/app/util/TerminalLauncher.java
View file

@ -10,6 +10,7 @@ import io.xpipe.core.process.ProcessControl;
import io.xpipe.core.process.ShellControl; import io.xpipe.core.process.ShellControl;
import io.xpipe.core.process.TerminalInitScriptConfig; import io.xpipe.core.process.TerminalInitScriptConfig;
import java.io.IOException;
import java.util.UUID; import java.util.UUID;
public class TerminalLauncher { public class TerminalLauncher {
@ -55,7 +56,10 @@ public class TerminalLauncher {
type.launch(config); type.launch(config);
latch.await(); latch.await();
} catch (Exception ex) { } catch (Exception ex) {
throw ErrorEvent.unreportable(ex); ErrorEvent.unreportable(new IOException(
"Unable to launch terminal " + type.toTranslatedString().getValue() + ": " + ex.getMessage()
+ ".\nMaybe try to use a different terminal in the settings.",
ex));
} }
} }
} }

7
app/src/main/resources/io/xpipe/app/resources/style/header-bars.css
View file

@ -3,7 +3,10 @@
-fx-padding: 0.8em 1.0em 0.8em 1.0em; -fx-padding: 0.8em 1.0em 0.8em 1.0em;
-fx-background-color: -color-bg-subtle; -fx-background-color: -color-bg-subtle;
-fx-border-color: -color-border-default; -fx-border-color: -color-border-default;
-fx-effect: dropshadow(three-pass-box, -color-shadow-default, 3px, 0.5, 0, 1); }
.root:pretty .bar {
-fx-effect: dropshadow(three-pass-box, -color-shadow-default, 3px, 0.5, 0, 1);
} }
.store-header-bar { .store-header-bar {
@ -102,10 +105,8 @@
-fx-padding: 0.8em 0.5em 0.8em 0.5em; -fx-padding: 0.8em 0.5em 0.8em 0.5em;
-fx-background-color: -color-bg-subtle; -fx-background-color: -color-bg-subtle;
-fx-border-color: -color-border-default; -fx-border-color: -color-border-default;
-fx-effect: dropshadow(three-pass-box, -color-shadow-default, 3px, 0.5, 0, 1);
} }
.store-sort-bar { .store-sort-bar {
-fx-background-radius: 0 4px 4px 0; -fx-background-radius: 0 4px 4px 0;
-fx-border-radius: 0 4px 4px 0; -fx-border-radius: 0 4px 4px 0;