Skip to content

UI Improvements (Download proof button and pre-select tab) #232

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.

Sign up for GitHub

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

Open
melnikga wants to merge 1 commit into
base: dev
Choose a base branch
from
Open

UI Improvements (Download proof button and pre-select tab) #232

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions components/Editor/index.tsx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,6 @@ import { cn } from '../../util/styles'
import { ArgumentsHelperModal } from './ArgumentsHelperModal'
import { registerCairoLanguageSupport } from './cairoLangConfig'
import Console from './Console'
import { DownloadProof } from './DownloadProof'
import EditorControls from './EditorControls'
import EditorFooter from './EditorFooter'
import ExtraColumn from './ExtraColumn'
Expand Down Expand Up @@ -313,7 +312,6 @@ const Editor = ({ readOnly = false, isCairoLangPage = false }: Props) => {
`Proof generation successful (finished in ${formatTime(proofTime)})`,
LogType.Info,
)
addToConsoleLog(<DownloadProof proof={proof} />, LogType.Info)

if (verificationTime) {
addToConsoleLog('Verifying proof...', LogType.Info)
Expand Down
14 changes: 8 additions & 6 deletions components/Tracer/ExecutionStatus.tsx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -117,14 +117,16 @@ const ExecutionStatus = ({
<Button
transparent
onClick={() => proof && handleDownloadProof(proof)}
tooltip="Download proof"
disabled={!proof}
tooltipId="download-proof"
className="font-normal text-gray-600 hover:text-gray-900 dark:text-darkMode-text dark:hover:text-gray-400 text-sm"
>
<RiFileDownloadLine
size={16}
className="text-[#E85733] dark:text-darkMode-icons hover:text-[#fc9278]"
/>
<div className="flex items-center gap-2 hover">
<RiFileDownloadLine
size={16}
className="text-[#E85733] dark:text-darkMode-icons "
/>
<div className="">Download Proof</div>
</div>
</Button>
) : (
<div className="flex flex-row items-center gap-4">
Expand Down
2 changes: 1 addition & 1 deletion components/ui/MultiButton.tsx
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ const MultiButton = ({ onCompileRun }: MultiButtonProps) => {
break
case 'run':
onCompileRun('run')
setDebugMode(ProgramDebugMode.Sierra)
setDebugMode(ProgramDebugMode.Execution)
break
default:
break
Expand Down