Skip to content
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

Add notification and focus options #245

Merged
merged 12 commits into from
Mar 2, 2023
Prev Previous commit
Next Next commit
options: inline styles
Co-authored-by: Federico Brigante <me@fregante.com>
  • Loading branch information
eugenesvk and fregante committed Mar 2, 2023
commit 0b2bdde9de5c54fffec8049853246634860eb22c
6 changes: 4 additions & 2 deletions source/options.html
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
<!DOCTYPE html>
<meta charset="UTF-8" />
<title>GhostText options</title>
<link rel="stylesheet" href="npm:webext-base-css">
<link rel="stylesheet" href="options.css">
<style>
@import "npm:webext-base-css";
@import "./options.css";
</style>
<form id="options-form">
<label for="serverPort">
Server Port
Expand Down